{
 "cells": [
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "# Kanerva's Table 7.3 (page 70)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 1,
   "metadata": {},
   "outputs": [],
   "source": [
    "import sdm as sdmlib\n",
    "import matplotlib.pyplot as plt\n",
    "from IPython.display import clear_output\n",
    "%matplotlib inline"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 2,
   "metadata": {},
   "outputs": [],
   "source": [
    "bits = 1000\n",
    "sample = 1000000\n",
    "radius = 451\n",
    "scanner_type = sdmlib.SDM_SCANNER_OPENCL"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 3,
   "metadata": {},
   "outputs": [],
   "source": [
    "weight = [990, 980, 971, 962, 954, 947, 939, 932, 925, 918, 912, 905, 899, 893, 887, 881, 875, 869, 863, 857, 852, 846, 841, 835, 830, 825, 819, 814, 809, 804, 799, 794, 789, 784, 779, 775, 770, 765, 761, 756, 751, 747, 742, 738, 733, 729, 725, 720, 716, 712, 707, 703, 699, 695, 691, 687, 682, 678, 674, 670, 666, 662, 659, 655, 651, 647, 643, 639, 636, 632, 628, 624, 621, 617, 613, 610, 606, 603, 599, 595, 592, 588, 585, 581, 578, 575, 571, 568, 564, 561, 558, 554, 551, 548, 544, 541, 538, 535, 532, 528, 525, 522, 519, 516, 513, 510, 507, 503, 500, 497, 494, 491, 488, 485, 482, 479, 477, 474, 471, 468, 465, 462, 459, 456, 454, 451, 448, 445, 442, 440, 437, 434, 431, 429, 426, 423, 421, 418, 415, 413, 410, 408, 405, 402, 400, 397, 395, 392, 390, 387, 385, 382, 380, 377, 375, 372, 370, 367, 365, 363, 360, 358, 355, 353, 351, 348, 346, 344, 341, 339, 337, 335, 332, 330, 328, 326, 323, 321, 319, 317, 314, 312, 310, 308, 306, 304, 302, 299, 297, 295, 293, 291, 289, 287, 285, 283, 281, 279, 277, 275, 273, 271, 269, 267, 265, 263, 261, 259, 257, 255, 253, 251, 249, 247, 246, 244, 242, 240, 238, 236, 235, 233, 231, 229, 227, 225, 224, 222, 220, 218, 217, 215, 213, 211, 210, 208, 206, 205, 203, 201, 200, 198, 196, 195, 193, 191, 190, 188, 187, 185, 183, 182, 180, 179, 177, 176, 174, 173, 171, 170, 168, 167, 165, 164, 162, 161, 159, 158, 156, 155, 153, 152, 150, 149, 148, 146, 145, 143, 142, 141, 139, 138, 137, 135, 134, 133, 131, 130, 129, 127, 126, 125, 124, 122, 121, 120, 118, 117, 116, 115, 114, 112, 111, 110, 109, 108, 106, 105, 104, 103, 102, 101, 99, 98, 97, 96, 95, 94, 93, 92, 90, 89, 88, 87, 86, 85, 84, 83, 82, 81, 80, 79, 78, 77, 76, 75, 74, 73, 72, 71, 70, 69, 68, 67, 66, 65, 64, 64, 63, 62, 61, 60, 59, 58, 57, 56, 56, 55, 54, 53, 52, 51, 51, 50, 49, 48, 47, 47, 46, 45, 44, 43, 43, 42, 41, 40, 40, 39, 38, 38, 37, 36, 35, 35, 34, 33, 33, 32, 31, 31, 30, 29, 29, 28, 28, 27, 26, 26, 25, 25, 24, 23, 23, 22, 22, 21, 21, 20, 19, 19, 18, 18, 17, 17, 16, 16, 15, 15, 14, 14, 13, 13, 13, 12, 12, 11, 11, 10, 10, 10, 9, 9, 8, 8, 8, 7, 7, 6, 6, 6, 5, 5, 5, 4, 4, 4, 3, 3, 3, 2, 2, 2]\n",
    "weight += [0]*(bits+1 - len(weight))"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 4,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "image/png": "iVBORw0KGgoAAAANSUhEUgAAArAAAAH0CAYAAADFZR5RAAAABHNCSVQICAgIfAhkiAAAAAlwSFlzAAAPYQAAD2EBqD+naQAAADl0RVh0U29mdHdhcmUAbWF0cGxvdGxpYiB2ZXJzaW9uIDIuMS4yLCBodHRwOi8vbWF0cGxvdGxpYi5vcmcvNQv5yAAAIABJREFUeJzs3XuclnP++PHXp2YqIYlElGSX3U6LUsKGVCKizVSyQmQdKnKoDeVQzq3SgcWSU0nlkOMqh2qzimLpwNcpFkkhSilTfX5/zEy/MetQmXuu+5779Xw8ekxz39d9X++Zqz9ePq7rukOMEUmSJClTVEh6AEmSJGlLGLCSJEnKKAasJEmSMooBK0mSpIxiwEqSJCmjGLCSJEnKKAasJEmSMooBK0mSpIxiwEqSJCmjGLCSJEnKKAasJEmSMkpO0gOkSgghALWBVUnPIkmSpJ+0PbAkxhg39wXlNmApiNdPkh5CkiRJv2gP4NPN3bg8B+wqgI8//phq1aqlfGf5+flMnTqVdu3akZubm/L9KXke8+zjMc8+HvPs4zEvWytXrqROnTqwhf/HvDwHLADVqlUrs4CtWrUq1apV8x98lvCYZx+PefbxmGcfj3lm8CIuSZIkZRQDVpIkSRnFgJUkSVJGMWAlSZKUUQxYSZIkZRQDVpIkSRnFgJUkSVJGMWAlSZKUUQxYSZIkZZQtDtgQQqsQwhMhhCUhhBhCOKHE8yGEcHUI4bMQwnchhOdCCL8tsU2NEMK4EMLKEMLXIYS7QgjbldimSQjhXyGEtSGEj0MI/bfuR5QkSVJ5sjUrsNsCbwDn/cTz/YG+wNlAC2A18GwIoUqxbcYBDYG2wLFAK+COoidDCNWAqcBHQFPgEuDKEMJZWzGvJEmSypGcLX1BjPEZ4BmAEMIPngsFD1wADI0xTil8rAfwOXACMCGE8HugPXBgjHFu4TZ9gKdDCBfHGJcAJwOVgJ4xxu+BhSGE/YALKRa6kiRJyj6lfQ7sXsCuwHNFD8QYvwHmAC0LH2oJfF0Ur4WeAzZSsGJbtM3Mwngt8iywbwhhx1KeWZIkSRlki1dgf8GuhV8/L/H458We2xVYVvzJGOP6EMJXJbZZ/CPvUfTcipI7DiFUBioXe2h7gPz8fPLz87fgR9g6Rfsoi30pPXjMs4/HPPt4zLOPx7xsbe3vubQDNkkDgStKPjh16lSqVq1aZkNMmzatzPal9OAxzz4e8+zjMc8+HvOysWbNmq16XWkH7NLCr7WAz4o9Xgv4T7Ftdin+ohBCDlCj2OuXFr6muFrFnvsx1wE3F/t+e+CTdu3aUa1atc2df6vl5+czbdo02rZtS25ubsr3p+R5zLOPxzz7eMyzj8e8bK1cuXKrXlfaAbuYgsA8ksJgLbyjQAvgtsJtXgaqhxCaxhjnFT7WmoLzcecU2+aaEEJujLFobbkt8H8xxv85fQAgxrgOWFf0fdEFZrm5uWXyD/DLL7/kjTfe4JhjjvEffJYpq39jSh8e8+zjMc8+HvOysbW/4625D+x2IYT9Cu8KALBX4fd1Y4wRGAFcHkLoGEJoDNwHLAEeA4gxvgX8E7gzhNA8hHAIMBqYUHgHAoDxwPfAXSGEhiGErsD5/HCFNW188MEH7L777gwdOpTVq1cnPY4kSVK5tjV3IWgGvF74Bwqi8nXg6sLvbwRGUXC7q1eB7YD2Mca1xd7jZOBt4HngaWAWsOker4V3LmhHwV0N5gF/A66OMablLbT22msv6tSpQ35+Pi+88ELS40iSJJVrWxywMcbpMcbwI39OK3w+xhgHxxh3jTFWiTG2iTG+U+I9vooxdo8xbh9j3CHG2DPG+G2Jbd6MMf6x8D32iDHe8Kt+0hQKIdChQwcAnnrqqYSnkSRJKt9K+z6wWasoYJ9++mk2btyY8DSSJEnllwFbSlq1akWVKlVYunQp8+bN++UXSJIkaasYsKWkcuXKHHDAAQA8/PDDCU8jSZJUfhmwpejggw8GYNKkSRTckEGSJEmlzYAtRc2aNWObbbbhgw8+4LXXXkt6HEmSpHLJgC1FVapU4eijjwYKVmElSZJU+gzYUta5c2fA0wgkSZJSxYAtZcccc4ynEUiSJKWQAVvKtt122033hPU0AkmSpNJnwKZAXl4eABMmTPBDDSRJkkqZAZsCxx57LNWqVeOjjz5i5syZSY8jSZJUrhiwKVC1alW6du0KwD333JPsMJIkSeWMAZsip512GlBwHuzKlSuTHUaSJKkcMWBTpGXLlvz+979nzZo1rsJKkiSVIgM2RUII9OnTB4BRo0Z5MZckSVIpMWBT6JRTTmGHHXbgvffeY9q0aUmPI0mSVC4YsCm03Xbb0aNHDwDGjh2b8DSSJEnlgwGbYkUXcz322GOsWLEi2WEkSZLKAQM2xfbff38aNWrEunXrmDBhQtLjSJIkZTwDNsVCCJx++ukA3HbbbcQYE55IkiQpsxmwZeD000+natWqzJ8/nxkzZiQ9jiRJUkYzYMvAjjvuyCmnnAIU3FJLkiRJW8+ALSNF94R97LHH+OijjxKeRpIkKXMZsGWkYcOGHHnkkWzcuJFbb7016XEkSZIylgFbhopWYf/xj3+wZs2ahKeRJEnKTAZsGTr22GOpV68eX331FePHj096HEmSpIxkwJahihUr0rt3b6DgYi5vqSVJkrTlDNgy1rNnT6pWrcqbb77JCy+8kPQ4kiRJGceALWM77rgjPXv2BGDIkCEJTyNJkpR5DNgEDBgwgEqVKjFjxgxefPHFpMeRJEnKKAZsAvbYYw/OPPNMAG666aaEp5EkScosBmxC+vXrRwiBZ555hnfeeSfpcSRJkjKGAZuQ3/zmN3To0AGA0aNHJzyNJElS5jBgE9S3b18A7rrrLpYtW5bwNJIkSZnBgE1QmzZtOPDAA1mzZg3Dhg1LehxJkqSMYMAmKITAlVdeCcCYMWNchZUkSdoMBmzCjj76aFdhJUmStoABmzBXYSVJkraMAZsGjj76aJo1a+YqrCRJ0mYwYNOAq7CSJEmbz4BNE8ccc4yrsJIkSZvBgE0TrsJKkiRtHgM2jbgKK0mS9MsM2DRSchV2+fLlyQ4kSZKUhgzYNOMqrCRJ0s8zYNNM8VXY0aNHuworSZJUggGbhlyFlSRJ+mkGbBpyFVaSJOmnGbBpylVYSZKkH2fApqkQAldccQXgKqwkSVJxBmwa69ChA02bNnUVVpIkqRgDNo15LqwkSdL/MmDTXPFV2JtuuinpcSRJkhJnwKa54quwI0eO5P333092IEmSpIQZsBmgQ4cOtG3blnXr1tG3b9+kx5EkSUqUAZsBQgiMGjWK3Nxcnn76aWbMmJH0SJIkSYkxYDPEvvvuy5lnngnAVVddlfA0kiRJyTFgM8jAgQPJzc3lxRdf5Pnnn096HEmSpEQYsBmkTp06nH322QD06dOH/Pz8hCeSJEkqewZshrnqqquoWbMmb731FqNHj056HEmSpDJnwGaYHXfckWuuuQaA66+/ntWrVyc8kSRJUtkyYDPQaaedRv369Vm2bBm33XZb0uNIkiSVKQM2A+Xm5nL55ZcDcO211/LFF18kPJEkSVLZMWAz1CmnnEKTJk1YsWIFl156adLjSJIklRkDNkPl5OQwZswYAP7xj3/wyiuvJDyRJElS2TBgM9ihhx5Kjx49iDFy3nnnsWHDhqRHkiRJSjkDNsPdeOONVKtWjblz5zJ+/Pikx5EkSUo5AzbD1apVi4EDBwIwZMgQ1q9fn/BEkiRJqWXAlgO9e/dmp5124t1332XcuHFJjyNJkpRSBmw5sN1229G/f38ABg4cyMqVKxOeSJIkKXUM2HLi/PPP5ze/+Q2fffYZV111VdLjSJIkpYwBW05UrlyZUaNGAXDLLbewYMGChCeSJElKDQO2HGnfvj2dOnViw4YN9O7dmxhj0iNJkiSVulIP2BBCxRDCkBDC4hDCdyGE90MIg0IIodg2IYRwdQjhs8Jtngsh/LbE+9QIIYwLIawMIXwdQrgrhLBdac9b3gwfPpxtttmGGTNmMGHChKTHkSRJKnWpWIEdAJwD9AZ+X/h9f6BPsW36A32Bs4EWwGrg2RBClWLbjAMaAm2BY4FWwB0pmLdc2XPPPbnssssAuOiii7ygS5IklTupCNiDgSkxxqdijB/GGCcDU4HmULD6ClwADI0xTokxvgn0AGoDJxRu83ugPXBmjHFOjHEWBQHcLYRQOwUzlysXX3zxpgu6rr766qTHkSRJKlU5KXjPfwNnhRD2iTG+E0L4A3AocGHh83sBuwLPFb0gxvhNCGEO0BKYUPj16xjj3GLv+xywkYIV20dL7jSEUBmoXOyh7QHy8/PJz88vrZ/tJxXtoyz29UsqVKjA8OHDOe644xgxYgR//vOfadiwYdJjlTvpdMxVNjzm2cdjnn085mVra3/PqQjY64FqwNshhA1AReCyGGPRHfZ3Lfz6eYnXfV7suV2BZcWfjDGuDyF8VWybkgYCV5R8cOrUqVStWnWLf4itNW3atDLb1y9p0aIFc+bM4ZRTTmHIkCEUOw1ZpSidjrnKhsc8+3jMs4/HvGysWbNmq16XioDtApwMdAcWAvsBI0IIS2KM96Zgf0WuA24u9v32wCft2rWjWrVqKdxtgfz8fKZNm0bbtm3Jzc1N+f42R4MGDfjDH/7AggULWLVqFd26dUt6pHIlHY+5Ustjnn085tnHY162tvZanVQE7E3A9THGokvg54cQ9qRghfReYGnh47WAz4q9rhbwn8K/LwV2Kf6mIYQcoEax1/9AjHEdsK7Y9gDk5uaW6T/Ast7fz/ntb3/LpZdeyqBBgxgwYAAnnHAC22+/fdJjlTvpdMxVNjzm2cdjnn085mVja3/HqbiIqyoF56oWt6HYvhZTEKFHFj0ZQqhGwbmtLxc+9DJQPYTQtNh7tC58jzkpmLncKn5Bl5/QJUmSyoNUBOwTwGUhhA4hhHohhE4UXMD1KEAsuLv+CODyEELHEEJj4D5gCfBY4TZvAf8E7gwhNA8hHAKMBibEGJekYOZyq0qVKowcORIo+ISuhQsXJjyRJEnSr5OKgO0DTAZuBd4ChgG3A4OKbXMjMIqC+7q+CmwHtI8xri22zcnA28DzwNPALOCsFMxb7h199NGccMIJrF+/3k/okiRJGa/UAzbGuCrGeEGMcc8Y4zYxxr1jjJfHGL8vtk2MMQ6OMe4aY6wSY2wTY3ynxPt8FWPsHmPcPsa4Q4yxZ4zx29KeN1sMHz6cKlWqMH36dB566KGkx5EkSdpqqViBVRqqV6/epk/ouvDCC1m1alXCE0mSJG0dAzaLFL+g65JLLkl6HEmSpK1iwGaRKlWqcNtttwFw++23eyqBJEnKSAZslmnTpg2XXnopAOeddx5ffvllwhNJkiRtGQM2C1111VU0btyYL7/8ctN5sZIkSZnCgM1COTk5jB49GoA77riDuXPnJjyRJEnS5jNgs1SrVq04+eSTiTFy7rnnsnFjyQ9PkyRJSk8GbBa76aab2H777Xn11Vf529/+lvQ4kiRJm8WAzWK77bbbpnAdOHAgL7/8csITSZIk/TIDNsudeeaZdOvWjQ0bNnDWWWeRn5+f9EiSJEk/y4DNciEExowZw0477cSCBQs2XdwlSZKUrgxYUaNGDa6//noArrjiCj777LOEJ5IkSfppBqwA6NmzJ82bN2fVqlV+zKwkSUprBqwAqFChAmPGjCGEwLhx45g0aVLSI0mSJP0oA1abNGvWjAEDBgBwxhln8OGHHyY7kCRJ0o8wYPUDQ4YM4eCDD2bVqlVccMEFSY8jSZL0PwxY/UBOTg533nknOTk5TJkyhSeffDLpkSRJkn7AgNX/aNCgwabV1549e7JkyZKEJ5IkSfr/DFj9qCFDhvCHP/yB5cuXc+qppxJjTHokSZIkwIDVT6hSpQoTJ06kSpUqPPfcc96VQJIkpQ0DVj9pn332YeDAgQD069ePr776KuGJJEmSDFj9gv79+/Pb3/6WJUuWeCqBJElKCwasflaVKlV46KGHqFy5Mk8++SQ333xz0iNJkqQsZ8DqF+2///6MGDECgL/+9a/MmTMn4YkkSVI2M2C1Wf7yl7/QtWtX1q9fT69evVi/fn3SI0mSpCxlwGqzhBAYM2YMNWrUYP78+YwePTrpkSRJUpYyYLXZdtppJ66//noABg4cyPz58xOeSJIkZSMDVlvkjDPOoH379qxdu5YuXbrw7bffJj2SJEnKMgastkiFChW477772H333Xn77bc555xzvLWWJEkqUwastljNmjWZMGECFStW5IEHHvBTuiRJUpkyYLVVDj30UC677DIALrzwQk8lkCRJZcaA1Vb761//Sv369fn000/561//mvQ4kiQpSxiw2mrbbLMNt956KwBjxozh4YcfTngiSZKUDQxY/SpHHXUU/fv3B6Bnz5588MEHCU8kSZLKOwNWv9rQoUM5+OCDWblyJV26dGHdunVJjyRJksoxA1a/Wm5uLhMmTKBGjRrMmzePSy65JOmRJElSOWbAqlTUqVOH++67D4BRo0Z5PqwkSUoZA1alpkOHDpvOhz3jjDM8H1aSJKWEAatSVXQ+7DfffEPXrl09H1aSJJU6A1alqvj5sHPnzvX+sJIkqdQZsCp1derU4d577wVg5MiRvP766wlPJEmSyhMDVilx7LHH0q1bNzZu3Mi5557Lhg0bkh5JkiSVEwasUmbYsGFst912zJ49myFDhiQ9jiRJKicMWKXM7rvvzt///ncArr76ap5//vmEJ5IkSeWBAauUOvnkkznzzDOJMXLyySezdOnSpEeSJEkZzoBVyo0cOZLGjRvz+eef0717d8+HlSRJv4oBq5TbZpttmDhxIttuuy0vvvii58NKkqRfxYBVmfjd737H7bffDng+rCRJ+nUMWJUZz4eVJEmlwYBVmSp5Puz69euTHkmSJGUYA1ZlquT5sKeddpoXdUmSpC1iwKrM/e53v2PcuHHk5OQwbtw4LrrooqRHkiRJGcSAVSKOP/54xo8fD8Att9zCo48+mvBEkiQpUxiwSkxeXh4XX3wxAKeffjqLFy9OeCJJkpQJDFgl6tprr+Wggw7im2++oWvXrnz//fdJjyRJktKcAatE5ebm8tBDD7Hjjjvy6quvMmDAgKRHkiRJac6AVeLq1q3LvffeC8CIESN47LHHEp5IkiSlMwNWaeG4447zfFhJkrRZDFiljaLzYb/++mvPh5UkST/JgFXaKHk+bN++fYkxJj2WJElKMwas0krx82Fvv/12P+RAkiT9DwNWaee4447jjjvuAGD48OGbglaSJAkMWKWpXr16MWTIEADOPfdcFi1alPBEkiQpXRiwSlsDBw6kbdu2rFmzhry8PFavXp30SJIkKQ0YsEpbFStW5P7772fXXXdl0aJF9OnTJ+mRJElSGjBgldZq1arF+PHjqVChAmPHjmXs2LFJjyRJkhJmwCrtHXHEEVx55ZVAwbmxkydPTnYgSZKUKANWGeGyyy6jR48ebNiwge7du/Pqq68mPZIkSUqIAauMUKFCBe6++25OOOEE8vPz6dKlC19//XXSY0mSpAQYsMoYFStWZOzYsey11158+OGH9OzZ00/qkiQpCxmwyijVq1dn4sSJ5Obm8uijjzJ06NCkR5IkSWXMgFXGadasGSNGjABg8ODBDBs2LOGJJElSWUpJwIYQdg8hPBBC+DKE8F0IYX4IoVmx50MI4eoQwmeFzz8XQvhtifeoEUIYF0JYGUL4OoRwVwhhu1TMq8xz7rnncs011wAwYMAAXnzxxYQnkiRJZaXUAzaEsCPwEpAPHA00AC4CVhTbrD/QFzgbaAGsBp4NIVQpts04oCHQFjgWaAXcUdrzKnNdeuml9OzZk40bN9KtWzfefvvtpEeSJEllIBUrsAOAj2OMp8cYX4kxLo4xTo0xvg8Fq6/ABcDQGOOUGOObQA+gNnBC4Ta/B9oDZ8YY58QYZwF9gG4hhNopmFkZatSoUey3334sW7aMI444go8++ijpkSRJUorlpOA9O1KwmjoJOAz4FLg1xnhn4fN7AbsCzxW9IMb4TQhhDtASmFD49esY49xi7/scsJGCFdtHS+40hFAZqFzsoe0B8vPzyc/PL6Uf7acV7aMs9qX/Lzc3l6effpp27dqxYMECunTpwgsvvEClSpVSvm+PefbxmGcfj3n28ZiXra39PYfSvg1RCGFt4V9vBiYBBwK3AGfHGO8NIRxMwSkGtWOMnxV73UQgxhi7hhAuBU6NMe5b4r2XAVfEGG/7kf1eCVxR8vHx48dTtWrV0vnhlLY+//xzLrzwQlavXk3Hjh3p2bNn0iNJkqRfsGbNGrp37w6wQ4xx5ea+LhUrsBWAuTHGSwu/fz2E0IiC813vTcH+ilxHQTQX2R74pF27dlSrVi2Fuy2Qn5/PtGnTaNu2Lbm5uSnfn/7XTjvtxIknnsjjjz9Ojx496NixY0r35zHPPh7z7OMxzz4e87K1cuVmN+sPpCJgPwMWlXjsLaBz4d+XFn6tVbgtxb7/T7Ftdin+BiGEHKBGsdf/QIxxHbCu2PZAwf9iLst/gGW9P/1/nTt3pl+/fgwfPpxTTjmFJ554giOPPDLl+/WYZx+PefbxmGcfj3nZ2NrfcSou4noJ2LfEY/sARVfXLKYgQjeVRQihGgXntr5c+NDLQPUQQtNi79G6cN45KZhZ5cT1119Phw4d+O677+jYsSOLFpX8bylJkpTpUhGww4GDQgiXhhB+E0LoDpwFjIGCk1yBEcDlIYSOIYTGwH3AEuCxwm3eAv4J3BlCaB5COAQYDUyIMS5JwcwqJypVqsTDDz/MEUccwZo1a+jSpQvffvtt0mNJkqRSVOoBG2N8FegEnAQsAAYBF8QYxxXb7EZgFAX3dX0V2A5oH2NcW2ybk4G3geeBp4FZFISw9LMqV67Mgw8+yK677srChQs55phjjFhJksqRlHwSV4zxyRhj4xhjlRjj74vdQqvo+RhjHBxj3LVwmzYxxndKbPNVjLF7jHH7GOMOMcaeMUYrRJulVq1aPP744+ywww7861//4tRTT6W077ghSZKSkZKAldLBgQceyDPPPENubi6PPPIIt9xyS9IjSZKkUmDAqlxr2bIlw4YNA6Bfv3784x//SHgiSZL0axmwKvf69OlD3759AejVq5cRK0lShjNgVe6FEBgxYsQPIvbxxx9PeCpJkrS1DFhlhaKIPfvsswE47bTT+PDDD5MdSpIkbRUDVlkjhMAtt9xC8+bNWbFiBW3btuWTTz5JeixJkrSFDFhllUqVKjF58mT22msv3nvvPY4++mjWrFmT9FiSJGkLGLDKOnXq1GH69OnUqlWLBQsW0Lt3b+8RK0lSBjFglZXq1q3LuHHjCCEwduxY+vfvb8RKkpQhDFhlrSOPPJJbb70VgGHDhhmxkiRlCANWWe3ss8/+QcRed911CU8kSZJ+iQGrrHfOOecwatQoAAYNGsT06dOTHUiSJP0sA1YCevfuzamnnsrGjRv505/+xGuvvZb0SJIk6ScYsFKhMWPG0LJlS1asWEGbNm2MWEmS0pQBKxXadttt+ec///mDiH377beTHkuSJJVgwErFVKtWjX/+85+0aNGCFStW0KVLF7777rukx5IkScUYsFIJ1apV49FHH6VWrVrMnz+fk046ie+//z7psSRJUiEDVvoRu+22GxMmTKBy5cpMmTKFLl26GLGSJKUJA1b6CYcffjhTpkwxYiVJSjMGrPQzjjrqKCNWkqQ0Y8BKv8CIlSQpvRiw0mYoGbG9e/dOeiRJkrKWASttpqOOOopHHnmEEAJ33nkn48aNS3okSZKykgErbYFjjjmGQYMGAdCrVy/mzJmT8ESSJGUfA1baQoMHD+akk05i/fr13HjjjTz++ONJjyRJUlYxYKUtVLFiRe677z66du3Khg0b6NatG1OmTEl6LEmSsoYBK22FnJwcxo4dyx//+EfWr1/PiSeeaMRKklRGDFhpK+Xk5HDBBRfQtWtXI1aSpDJkwEq/QsWKFRk7duymc2Lz8vKMWEmSUsyAlX6lnJwc7rvvPk466STy8/ONWEmSUsyAlUqBEStJUtkxYKVS8mMR++yzzyY9liRJ5Y4BK5Wioojt1q0b+fn5dO/enY8//jjpsSRJKlcMWKmU5eTkcM8999C0aVO++uorjj/+eL766qukx5IkqdwwYKUUqFy5MhMnTqRmzZq8/vrrtG3blhUrViQ9liRJ5YIBK6VI/fr1eeGFF9h555157bXXaNOmjRErSVIpMGClFGrUqBEvvviiEStJUikyYKUUM2IlSSpdBqxUBoxYSZJKjwErlZGSEeuFXZIkbR0DVipDjRo12nRh17x584xYSZK2ggErlbHGjRsbsZIk/QoGrJQAI1aSpK1nwEoJKRmxzZs359///nfSY0mSlPYMWClBRRG7++67895773H44YfzxBNPJD2WJElpzYCVEta4cWMWLFhAp06dyM/Pp3PnzkasJEk/w4CV0kD16tWZOHEieXl5RqwkSb/AgJXSRE5ODuPHjzdiJUn6BQaslEaMWEmSfpkBK6WZH4vYJ598MumxJElKGwaslIZKRuyf/vQnI1aSpEIGrJSmjFhJkn6cASulsR+L2MmTJyc9liRJiTJgpTRXMmLz8vI444wzyM/PT3o0SZISYcBKGaAoYvv370+FChW4++676d69uxErScpKBqyUIXJycrjhhht4/PHHqVSpEpMnTzZiJUlZyYCVMkyHDh145JFHjFhJUtYyYKUMZMRKkrKZAStlqJIRm5eXx4oVK5IeS5KklDNgpQxWPGKnTJlCo0aNeOONN5IeS5KklDJgpQzXoUMHZsyYwb777suSJUs48sgjefPNN5MeS5KklDFgpXLgoIMOYvbs2TRr1owvv/yS1q1bG7GSpHLLgJXKierVqzNt2jQjVpJU7hmwUjlSMmL/+Mc/cs899xBjTHo0SZJKjQErlTNFEXvIIYewcuVKTj/9dAYPHmzESpLKDQNWKoeqV6/O9OnTueqqqwAYOnSoEStJKjcMWKmcysnJYfDgwQwfPhwoiNi+ffvy3XffJTyZJEm/jgErlXMXXHDBpohu9MZjAAAgAElEQVQdPXo0zZs3Z+nSpQlPJUnS1jNgpSxwwQUX8OSTT7LrrruyYMECWrdubcRKkjKWAStliQ4dOjBr1iz22GMP3nrrLVq3bs0nn3yS9FiSJG0xA1bKInvvvTfTp0/fFLGNGjVi8uTJSY8lSdIWMWClLLP33nszc+ZMmjdvzjfffEPXrl25//77kx5LkqTNZsBKWWivvfbipZde4qyzzmLjxo306NGD008/3TsUSJIyQsoDNoTw1xBCDCGMKPZYlRDCmBDClyGEb0MID4cQapV4Xd0QwlMhhDUhhGUhhJtCCDmpnlfKFjk5Odx2220MGDCAEAL33HMPxx9/vBErSUp7KQ3YEMKBwF+Akh/IPhw4DsgDDgNqA48Ue11F4CmgEnAwcCpwGnB1KueVsk2FChW4/vrree6559h2222ZNm2aEStJSnspC9gQwnbAOKAXsKLY4zsAZwAXxhhfiDHOA04HDg4hHFS4WTugAfDnGON/YozPAIOA80IIlVI1s5StWrduzTPPPLMpYg8//HDefvvtpMeSJOlHpfJ/yY8BnooxPhdCuLzY402BXOC5ogdijG+HEP4LtARmF36dH2P8vNjrngVuAxoCr5fcWQihMlC52EPbA+Tn55Ofn186P9HPKNpHWexL6aG8HfODDjqIJ554gk6dOvHKK69w4IEH8uSTT3LwwQcnPVraKG/HXL/MY559POZla2t/zyEVn40eQugGXAYcGGNcG0KYDvwnxnhBCKE7MDbGWLnEa14BXowxDggh3AHsGWM8qtjzVYHVwDGFK7Il93klcEXJx8ePH0/VqlVL8aeTyrfly5czfPhwFi1aRJUqVTjrrLM44ogjCCEkPZokqZxZs2YN3bt3B9ghxrhyc19X6iuwIYQ6wC1A2xjj2tJ+/59xHXBzse+3Bz5p164d1apVS/nO8/PzmTZtGm3btiU3Nzfl+1PyyvMxz8vL409/+hMvvPACI0eOZN26ddxyyy1UqJDdNy4pz8dcP85jnn085mVr5crNbtYfSMUpBE2BXYDXiq3YVARahRB6A0cBlUII1WOMXxd7XS2g6LMtlwLNS7xvrWLP/Y8Y4zpgXdH3RfvOzc0t03+AZb0/Ja88HvMddtiBZ599lptuuonLLruM22+/nZUrV3LrrbdSvXr1pMdLXHk85vp5HvPs4zEvG1v7O07FcsrzQGNgv2J/5lJwQVfR3/OBI4teEELYF6gLvFz40MtA4xDCLsXety2wEliUgpkllZCTk8PAgQMZO3YsFSpU4MEHH2S//fZj8eLFSY8mScpypR6wMcZVMcYFxf9QcO7ql4XffwPcBdwcQjgihNAUGAu8HGOcXfg2UykI1ftDCH8IIRwFDAXGFK60Siojp556KjNnzqR+/fp89NFHHH744cyZMyfpsSRJWSypE9r6AU8CDwMzKTgt4E9FT8YYNwDHAhsoWI19ALgPGFzmk0rikEMO4V//+hf77LMP//3vfzn44IMZM2ZM0mNJkrJUmQRsjPHwGOMFxb5fG2M8L8ZYI8a4bYzxTzHGpSVe81GM8ZgYY9UYY80Y48UxxvVlMa+k/1W7dm1efvllTj75ZDZu3Ejv3r0ZOnQoGzZsSHo0SVKWye5LiiVtkRo1anD//ffz17/+FYBBgwbRunVrvvnmm4QnkyRlEwNW0hYJIXDttddy1113Ua1aNWbOnMlRRx3FkiVLkh5NkpQlDFhJWyyEQM+ePZk+fTo1atRgzpw5NGzYkGeffTbp0SRJWcCAlbTV9t9/f1566SWaNWvG119/zfHHH89jjz2W9FiSpHLOgJX0q/zud7/j3//+N506dWLdunV06tSJs88+m/XrveZSkpQaBqykXy03N5eHHnqIfv36EULg9ttv55RTTmHt2rL8NGlJUrYwYCWVitzcXG6++WYeffRRcnNzmTBhAgcccACvvPJK0qNJksoZA1ZSqTr++ON54oknqFWrFm+99RYtW7bkuuuuS3osSVI5YsBKKnVHHXUUixYt2vShB5deeimXXXaZH3ogSSoVBqyklKhRowYPPPAAN910EwDXXnsthx12GMuWLUt4MklSpjNgJaXUxRdfzNixY9l+++156aWXOOKII/j000+THkuSlMEMWEkpd9pppzF37lxq167NokWLaNSoEffffz8xxqRHkyRlIANWUpnYZ599mDlzJk2bNuXrr7+mR48e5OXleastSdIWM2AllZm9996b2bNnc80115Cbm8vDDz/MCSecwDfffJP0aJKkDGLASipTOTk5XHrppUydOpWqVavy7LPP0qhRI5599tmkR5MkZQgDVlIiDj/8cF544QV+85vf8Mknn9C+fXsuvvhiz4uVJP0iA1ZSYlq0aMEbb7zB+eefD8Df/vY3zj77bM+LlST9LANWUqKqVq3KiBEjuOuuuwghcMcdd9C0aVNeffXVpEeTJKUpA1ZSWujZsyePPfYYtWrVYtGiRRx00EEMHDiQdevWJT2aJCnNGLCS0kbHjh1ZuHAhJ510Ehs3buT666+ndevWrFy5MunRJElpxICVlFZ22mknxo8fzyOPPEL16tX597//zZFHHsm7776b9GiSpDRhwEpKS506deL5559nxx13ZO7cuTRp0oThw4ezYcOGpEeTJCXMgJWUtg444ABef/112rRpw9q1a7nwwgs57LDDeP/995MeTZKUIANWUlrbc889mTp1Kn//+9/ZbrvteOmllzj44INZtGhR0qNJkhJiwEpKeyEE/vKXv7BgwQL2228/li1bxqGHHsq4ceP84ANJykIGrKSMseeee/Lcc8/RvHlzVqxYwZ///Gc6derE0qVLkx5NklSGDFhJGWWnnXZi1qxZDBkyhNzcXKZMmUKDBg2YMmVK0qNJksqIASsp4+Tm5nL55Zczd+5c9t9/f1asWEHnzp2ZMGFC0qNJksqAASspYzVp0oQ5c+Zw6qmnsmHDBk466SR69erlBx9IUjlnwErKaLm5udx1111ceOGFAPzjH/+gUaNGTJ06NeHJJEmpYsBKyngVK1bkb3/7GzNmzKB+/fp8/PHHHHXUUa7GSlI5ZcBKKjdatWrFm2++SZ8+fQBXYyWpvDJgJZUr2267LSNHjmT69Ok/WI0966yz+Pbbb5MeT5JUCgxYSeXSYYcd9oPV2DvvvJP27duzatWqhCeTJP1aBqykcqtoNfaFF16gevXqvPTSS7Rs2ZJ58+YlPZok6VcwYCWVe0cccQTTpk1jl112YeHChbRo0YLLL7+cdevWJT2aJGkrGLCSskKzZs1YsGABXbp0YcOGDVxzzTU0a9bM1VhJykAGrKSsUbNmTR566CEmTZpEzZo1WbBgAS1atGDQoEGuxkpSBjFgJWWdE088kYULF25ajR06dKirsZKUQQxYSVnJ1VhJylwGrKSs5mqsJGUeA1ZS1nM1VpIyiwErSYV+ajX2tddeS3o0SVIxBqwkFfNjq7HNmzdn0KBBfP/990mPJ0nCgJWkH/Vjq7EHHXQQ77//ftKjSVLWM2Al6ScUX43deeedWbBgAZdccglXXHGFq7GSlCADVpJ+wYknnsiiRYvo3LkzGzdu5LrrrvPcWElKkAErSZuhZs2aPPjgg1xyySXsvPPOzJ8/33NjJSkhBqwkbYFDDjmEN954g7y8PO9UIEkJMWAlaQvVrFmTiRMnMnHixB+sxg4ePNjVWEkqAwasJG2lvLw8Fi1atGk1dsiQIa7GSlIZMGAl6VdwNVaSyp4BK0mlIC8vj4ULF3LiiSe6GitJKWbASlIp2WWXXZg0adIPVmNbtGjhfWMlqZQZsJJUyoqvxq5fv56rr76aAw88kNdffz3p0SSpXDBgJSkFilZjH3roIXbeeWfefPNNmjdvzqWXXsrHH3+c9HiSlNEMWElKoS5durBw4UI6d+7M+vXrue6669hzzz0555xzWLVqVdLjSVJGMmAlKcV22WUXJk+ezOTJk2nVqhUxRv7+97/TpEkTXnjhhaTHk6SMY8BKUhnp3LkzM2bM4Pnnn2fPPffkww8/5Mgjj+Tcc8/l22+/TXo8ScoYBqwklbHWrVszf/58zjnnHABuu+02Gjdu7GqsJG0mA1aSErD99ttz6623/s9qbMeOHXniiSeSHk+S0poBK0kJKrka+8QTT9CxY0e6dOnC8uXLE55OktKTAStJCStajV2wYAEXXnghOTk5TJo0iQYNGjBp0qSkx5OktGPASlKaaNiwIX/729945ZVXaNKkCV988QVdunRxNVaSSjBgJSnN7L///rz66qsMHjz4B6uxDz74IOvXr096PElKnAErSWmoUqVKXHXVVT9Yje3evTu77bYbY8aMYePGjUmPKEmJMWAlKY0VrcZeeeWV1KxZky+++ILevXtz5JFHsnjx4qTHk6REGLCSlOYqVarEFVdcwZIlSxg5ciRVq1Zl+vTpNG7cmJEjR/qRtJKyjgErSRkiJyeHPn368Oabb9KqVStWr17N+eefzy677MKVV17J999/n/SIklQmDFhJyjB77703L774ImPGjGGfffZh7dq1XHXVVTRv3pw33ngj6fEkKeUMWEnKQBUqVODcc8/l7bff5sEHH2SnnXbijTfeoFmzZgwaNIhPPvkk6RElKWUMWEnKYCEEunXrxsKFC+nUqRPr169n6NCh1K1bl969e/Ptt98mPaIklbpSD9gQwsAQwqshhFUhhGUhhMdCCPuW2KZKCGFMCOHLEMK3IYSHQwi1SmxTN4TwVAhhTeH73BRCyCnteSWpPKhVqxYPP/wwEydO5NBDDyXGyJgxY2jSpAlPPPGE94+VVK6kYgX2MGAMcBDQFsgFpoYQti22zXDgOCCvcPvawCNFT4YQKgJPAZWAg4FTgdOAq1MwrySVCyEE8vLy+Ne//sW0adOoW7cuixcvpmPHjtStW5fJkycnPaIklYpSD9gYY/sY4z0xxoUxxjcoCM+6QFOAEMIOwBnAhTHGF2KM84DTgYNDCAcVvk07oAHw5xjjf2KMzwCDgPNCCJVKe2ZJKm/atGnD/Pnz6devHzvvvDOfffYZeXl5dO3a1fNjJWW8svhf8jsUfv2q8GtTClZlnyvaIMb4dgjhv0BLYHbh1/kxxs+Lvc+zwG1AQ+D1kjsJIVQGKhd7aHuA/Px88vPzS+cn+RlF+yiLfSk9eMyzT6Yd82222YYbbriBq6++mmuvvZYbb7yRiRMnMnHiRNq3b8/IkSOpV69e0mOmtUw75vr1POZla2t/zyHGWMqjFHvzECoAjwPVY4yHFj7WHRgbY6xcYttXgBdjjANCCHcAe8YYjyr2fFVgNXBM4YpsyX1dCVxR8vHx48dTtWrVUvypJCkzvffee4wdO5aFCxcCUKVKFU499VTatWtHxYoVE55OUjZas2YN3bt3B9ghxrhyc1+X6oC9DTgaODTG+EnhY6kK2B9bgf3kiy++oFq1aqX9o/2P/Px8pk2bRtu2bcnNzU35/pQ8j3n2KS/H/J133uHss89m1qxZAOy888707t2bSy65JKN/rlQoL8dcm89jXrZWrlzJzjvvDFsYsCk7hSCEMBo4FmhVFK+FlgKVQgjVY4xfF3u8VuFzRds0L/GWtYo99z9ijOuAdcX2D0Bubm6Z/gMs6/0peR7z7JPpx7xhw4bMmDGDUaNGMXToUL744guuvPJKpkyZwtixY/nDH/6Q9IhpJ9OPubacx7xsbO3vOBW30QqF8doJaB1jXFxik3lAPnBksdfsS8GFXi8XPvQy0DiEsEux17UFVgKLSntmSco2FSpU4Pzzz+ezzz7jgQceoEaNGrz++uvst99+/PGPf2TGjBlJjyhJPykVt9EaA/wZ6A6sCiHsWvhnG4AY4zfAXcDNIYQjQghNgbHAyzHG2YXvMZWCUL0/hPCHEMJRwFBgTOFKqySpFOTk5HDyySezaNEiTjzxRABmzZrF4YcfzgknnMBTTz2V8ISS9L9SEbDnUHDngenAZ8X+dC22TT/gSeBhYCYFpwX8qejJGOMGCk4/2EDBauwDwH3A4BTMK0lZr1atWkyaNImPP/6YXr16ATBlyhSOPfZYunXrxhdffJHwhJL0/6XiPrDhJ/7cU2ybtTHG82KMNWKM28YY/xRjXFrifT6KMR4TY6waY6wZY7w4xuhHyUhSCu2xxx7ccccdvPnmm5x//vlUrFiRhx56iAYNGnD55Zfz3//+N+kRJSklK7CSpAzXuHFjRowYwezZs2nYsCHLly/nmmuuoWHDhtx0000sWbIk6RElZTEDVpL0k5o1a8a8efMYN24cLVu25Ntvv6V///7Uq1ePIUOG8O233yY9oqQsZMBKkn5W5cqV6d69O7NmzeKOO+6gRYsW5OfnM3jwYGrWrMkFF1zA6tWrkx5TUhYxYCVJm6VChQr06tWLl19+mXHjxvHb3/6WtWvXcsstt1CvXj369OnjxV6SyoQBK0naIiEEunfvzv/93//xzDPPULduXb744gtGjx5Nw4YNGTRoEB9//HHSY0oqxwxYSdJWCSHQvn173nvvPZ555hkaNmzIsmXLGDp0KA0aNPBiL0kpY8BKkn6V3Nxc2rdvz7x583jggQc46KCDfnCx19ChQ73YS1KpMmAlSaWicuXKnHzyyZsu9mrevDn5+fkMGjSImjVr0q9fPy/2klQqDFhJUqmqWLEivXr1Yvbs2TzwwAP85je/Ye3atYwYMYK99tqLvn378uWXXyY9pqQMZsBKklIihMDJJ5/MO++8w9NPP03dunVZvnw5o0aNokGDBgwePNiLvSRtFQNWkpRSIQSOPvpo3nvvPZ5++mkaNGjAsmXLGDJkyKZP9vrss8+SHlNSBjFgJUllIjc3l6OPPprXXntt08Veq1aton///uy5555cc801XuwlabMYsJKkMlX8Yq/bb79908Vel19+ObvssosXe0n6RQasJCkRFStW5KyzzmL27Nncf//97L333nz33XebLvY655xzePHFF4kxJj2qpDRjwEqSEhVC4M9//jPvvvvuDy72+vvf/07r1q056qijmD9/viEraRMDVpKUFopf7PXss89y5plnUqVKFaZNm0aTJk1o2bIlCxYsSHpMSWnAgJUkpZXc3FzatWvHnXfeyRtvvEGnTp2oVKkSc+bMoUmTJhx22GGMHj2aFStWJD2qpIQYsJKktLXPPvvwyCOPsHjxYk444QRijMycOZM+ffrw+9//nnvvvdc7F0hZyICVJKW92rVr8+ijj/Lf//6Xm2++mX333ZfPP/+c0047jV122YW8vDwWLlyY9JiSyogBK0nKGHXq1KFfv3785z//YciQIZvuXDB58mQOOOCATXcu2LBhQ9KjSkohA1aSlHGqVKnC5Zdfzrvvvsu8efM47rjj+P777zfduaBevXpMmTIl6TElpYgBK0nKWCEEDjjgAKZMmcLUqVPp2bMnO+64I5988gknnHACDRo04IorruD9999PelRJpciAlSRlvBACbdu25a677mLJkiUMGDCASpUq8dZbb3H11VfToEEDrr76apYuXZr0qJJKgQErSSpXqlSpwvXXX8+yZcu47777aN26Nd9//z1XXHEFtWvX5vDDD2fMmDEsX7486VElbSUDVpJULu2www6ccsopPPfcc4wbN44WLVoQY2TGjBn07t2bvffem9tuu43Vq1cnPaqkLWTASpLKtRAC3bt3Z/bs2Xz44YcMGzaMJk2asGrVKs4991xq1qxJXl4eL7/8ctKjStpMBqwkKWvsueeeXHTRRbz22msMHz6c+vXrb7oN1yGHHMIZZ5zB9OnTvQ2XlOYMWElS1qlYsSIXXHAB7733HnPnzqVHjx7EGLn77rs54ogj2H333TnvvPOYMWOGMSulIQNWkpS1Qgg0bdqUe++9lxkzZnD66aez44478vnnn3PrrbfStm1b+vbty6xZs5IeVVIxBqwkSUCrVq24++67Wbp0Kc888ww9e/akevXqfPrpp7Ru3ZpGjRpx1VVXsWjRoqRHlbKeAStJUjGVKlWiffv23HXXXbzzzju0bduW3NxcFi5cyJVXXknDhg1p2LAh1157LWvWrEl6XCkrGbCSJP2E6tWrc9555/Hpp59y7733cuyxx5Kbm8uiRYu47LLL2G+//bj11lv9gASpjBmwkiT9gurVq9OjRw+eeOIJli1bxt13303t2rV59913Oe+889h999054ogjjFmpjBiwkiRtgerVq3P66aezcOFChg0bRvPmzdm4cSPTp0//Qcw+9dRTSY8qlVsGrCRJW6F69epcdNFFzJkzh8WLF3PTTTf9IGaPPfZYjj/+eCZPnuy5slIpM2AlSfqV6tWrx8UXX7wpZvv160eFChV4/PHHycvLo2bNmnTt2tWYlUqJAStJUimqV68eN998M//5z3/o378/e+21F2vWrGHixInGrFRKDFhJklKgcePG3HDDDbz//vu8+uqr9O/fn3r16v1PzF5yySV89913SY8rZRQDVpKkFAoh0KxZM2644QY++OADXn31VS655JJNMTts2DD22msvevfuzcyZM/3oWmkzGLCSJJWRopi98cYb+eCDD5gyZQq1a9fm888/Z8yYMRx22GHsscce9OnTx5iVfoYBK0lSAkIIdOzYkcWLF/Pkk09y6qmnssMOO7B06VJGjx5tzEo/w4CVJClBlSpVokOHDtxzzz0sW7bsJ2O2Tp06xqxUyICVJClN/FzMfvbZZ8asVMiAlSQpDRmz0k8zYCVJSnPFY/bzzz//xZj917/+xcaNG5MeW0oZA1aSpAxSuXLlX4zZVq1abboAzJhVeWTASpKUoYxZZSsDVpKkcmBLYrZv377GrDKaAStJUjnzYzHbo0ePTTE7atSoH8Ts888/z+uvv+5H2ipjGLCSJJVjRTF77733/mTMtmnThgMOOICaNWty0kkn8cgjjxizSmsGrCRJWeKnYrZevXrstNNOrF69mgkTJtC5c2djVmnNgJUkKQsVj9nFixezfPlyZs+ezUUXXUTdunWNWaU1A1aSJBFCoEWLFgwbNowPP/zwZ2N27733pl27dtx+++0sX7486dGVhQxYSZL0A78Usx988AHTpk3j7LPPZrfddqNNmzbccccdxqzKjAErSZJ+UsmYnT9/PrNmzeKGG26gadOmbNiwgeeff56//OUv7LbbbjRt2pTDDz+coUOH8n//939Jj69yKifpASRJUmYIIdCoUSMADjnkEPr3788HH3zApEmTmDRpEvPmzeO1114DYMaMGQwaNIgmTZqQl5fH8ccfT40aNdhtt92oUMH1M/06/guSJElbrX79+gwYMIC5c+fy/vvvM2XKFO644w7at29PTk4Ob7755qaQ3WOPPahTpw7nn38+s2bN8oMUtNVcgZUkSaWifv361K9fH4BevXrx1Vdf8dhjjzFp0iRmzpzJ2rVrWbJkCSNHjmTkyJHUrl2bzp07U69evU0Xhm2zzTYJ/xTKBAasJElKiRo1atCzZ0969uwJwLp165g6dSqTJk1iypQpLFmyhFGjRm3afrvttuO4447jxBNP/H/t3X9sVed9x/H319RggW3ANsMipAbiYAazAphfrpYEQ0ioN0ObMLWJFK0pf4QqHaumtXKlSO2ySVm2QYJm8kerhFVRzSYUlCkhi2tnmgQIm5EZOuNsHaRNMdhOgNjHQIEb/PSPc+7tvTdmMf5x7z33fl7SkX2fc869z+Fjm6+Pn+e5LFiwgIqKCkpLS9PVfclgKmBFREQkJaZNm0ZDQwMNDQ2xYvbQoUMMDg5y9OhRzp07x/79+9m/fz8AU6ZMoa6ujq1btzJ79mxWr17N4sWL03wVkglUwIqIiEjKxRezAMPDwxw/fpwDBw7Eitq+vj7a2tpoa2uLnXffffclTAorLy/XpLAcpAJWRERE0i4vL49169axbt06du3aBcDZs2c5cOAAhw8fxvM82tvbOXXqFKdOneLZZ58F4K677mLbtm1s3LiR4uJi1q5dS0FBQTovRVJABayIiIhkpHvuuYfGxkYaGxsBuHTpUsKksBs3bnD+/Hn27NnDnj17ACgqKqKhoYGamhpKS0upr69nzpw56bwMmQQqYEVERCQUSktL2b59O9u3bwfg+vXrsUlhXV1d9Pf309vbS3NzM83NzYA/jnb9+vWxlQ42bNhAcXExVVVVGnoQYipgRUREJJQKCgrYsmULW7ZsAX43jvbgwYNcuHCB7u5uOjs7effddz9z7vz583nssceoqamhrKyMuro6DT0IERWwIiIikhXix9FGnTlzhrfffhvP8zhy5AhdXV188skn9PT0xIYdAEydOpXp06ezatUqFi9ezJIlSygpKdHwgwylAlZERESyVmVlJTt37kxoiw49iN6pff/99+np6eHmzZuxVQ9efvllwF/1oKKiIjb8oKioSBPFMoAKWBEREckpIw09+PDDD/E8jzfffJN9+/Zx7tw5IpFIbNUDgBdffBFInChWVlbG5s2bmT17Nvn5+Wm7plyjAlZERERyWl5eHgsXLgRg6dKlVFdXU19fz+DgIK2trQnDD0aaKBa1YsUKVq5cSVlZGY888gglJSVUVVXpbu0kUAErIiIiMoKysjIef/xxAJ5++mnAv1vb0dHB66+/Tm9vL93d3Zw8eRKAzs5OOjs7AXjhhRcA/27tsmXLEu7UrlmzhsrKyjRcUfZQASsiIiIySnl5edTW1lJbWxtru3LlCp7n0dLSQm9vL6dPn+bIkSN4nsfAwADt7e0AvPXWW7FzioqKMDMKCgp46KGHqKiooLKyMjbOtrS0NOXXFiYqYEVERETGobCwkMLCQp566qmE9uHhYU6cOBEraqPvKNbR0cHQ0BAAnud9ZigCwPLly6moqAD89W+jQxJWrFih4pYML2DN7Bngu0A5cAr4M+fc8fT2SkREROTz5eXlsWbNGgC2bt0aax8YGODjjz8GoK+vj5aWFpLkVyQAAAkHSURBVDzP4/Dhw5w+fZpIJMLJkydjQxMAXn31VcB/Y4YFCxZ85u5tdJWE/Px8zCzrJ5RlbAFrZl8DdgM7gA7gO0CLmVU55z5Ka+dERERExmjWrFnMmjULgHvvvZf7778/Yf/FixdpbW3lypUrAAl3b8+cOcPZs2djx3Z1dY34GtEJZcmFLvh3dO++++7JuLSUydgCFvgL4MfOuX0AZrYD+CPgm8DfprNjIiIiIpMlfvJYsg8++IC+vj7Av3v7zjvvxFZJOH/+fOy4+AllAE1NTQnPs3TpUmbOnAkQG3sbvWs7b9486urqJvSaJlpGFrBmNhWoAZ6Ptjnnhs2sDai97YkiIiIiWWzRokUsWrQo9vjRRx8FwDnH4OAgAFevXqWlpeUzhe7Vq1cB6O/vp7u7O/Ycx44d47XXXos9rq+vVwE7RmXAFKA/qb0fWDLSCWY2DZgW11QEEIlEiEQik9HHBNHXSMVrSWZQ5rlHmeceZZ57wpz5jBkzYh+ffPLJhH27du2KfX7x4kXa29u5desWt27d4ujRowkFbXV1dcquf6yvY865Ce7K+JnZPOA88CXn3LG49r8DHnTOrR3hnB8CP0hub25uZvr06ZPYWxEREREZi2vXrvHEE08AzHTOeaM9L1PvwF4EbgFzk9rnAn23Oed5/ElfUUVAz8MPP0xxcfHE9zBJJBKhtbWVTZs2Zf3MP/Ep89yjzHOPMs89yjy1PG/UNWuCjCxgnXM3zew9YCPwBoCZ5QWPm25zzg3gRvSxmQGQn5+f0i/AVL+epJ8yzz3KPPco89yjzFNjrP/GGVnABnYDPzGzE8Bx/GW0ZgD70torEREREUmrjC1gnXP/YmZzgOfw38jgJLDZOZc8sUtEREREckjGFrAAzrkmbjNkQERERERyU166OyAiIiIicidUwIqIiIhIqKiAFREREZFQUQErIiIiIqGiAlZEREREQkUFrIiIiIiEigpYEREREQkVFbAiIiIiEioqYEVEREQkVFTAioiIiEioqIAVERERkVBRASsiIiIiofKFdHdgsnmel5LXiUQiXLt2Dc/zyM/PT8lrSnop89yjzHOPMs89yjy1xlqnmXNugruSGczsLqAn3f0QERERkc813zl3frQHZ3MBa8A8YChFL1mEXzDPT+FrSnop89yjzHOPMs89yjz1ioAL7g6K0qwdQhD8I4y6kh8vv14GYMg5l5pxC5JWyjz3KPPco8xzjzJPizv+d9YkLhEREREJFRWwIiIiIhIqKmAnzg3gr4KPkhuUee5R5rlHmeceZR4CWTuJS0RERESyk+7AioiIiEioqIAVERERkVBRASsiIiIioaICVkRERERCRQXsBDGzZ8zsV2Z23cw6zGxNuvskd87MHjCzN83sgpk5M/tK0n4zs+fMrNfMfmNmbWZ2b9IxJWb2UzPzzGzAzF4xs8LUXomMlpl938z+08yGzOwjM3vDzKqSjikws71mdsnMrpjZ62Y2N+mYL5rZITO7FjzP35tZ1r5ZTJiZ2bfM7OfB96hnZsfM7Mtx+5V3FjOzxuDn+0txbco8ZFTATgAz+xqwG3/ZjZXAKaDFzH4vrR2TsZiBn98zt9n/PWAnsANYC1zFz7og7pifAsuATcAfAw8AP5qsDsu4PQjsBdbhZ5YP/MzMZsQd8yLQAPxJcPw84GB0p5lNAQ4BU4EvAX8KfAN4bvK7L2PQAzQCNcAq4N+BfzWzZcF+5Z2lzGw18DTw86RdyjxsnHPaxrkBHUBT3OM8/LexbUx337SNK1cHfCXusQG9wF/Gtc0ErgNfDx7/fnDeqrhjNgPDwLx0X5O2UeU+J8jwgbiMbwLb4o5ZEhyzLnj8ZeAWMDfumB3AIDA13dekbVS5Xwa2K+/s3YBC4BfAQ8B/AC8F7co8hJvuwI6TmU3F/y2+LdrmnBsOHtemq18yKRYC5SRmPYj/C0w061pgwDl3Iu68NvwCdm2K+injMzP4eDn4WIN/VzY+9/8Bfk1i7v/tnOuPe54WoBj/brxkKDObYmZfx//ryzGUdzbbCxxyzrUltSvzENLYjfErA6YA/Unt/fi/wUn2KA8+jpR1edwxH8XvdM59amaX446RDGVmecBLwFHnXFfQXA7cdM4NJB2enPtIXxeg3DOSmVXjF6wFwBXgq865bjNbjvLOOsEvKSuB1SPs1vd4CKmAFRH5nb3AHwB/mO6OyKT7X2A5/h33bcBPzOzB9HZJJoOZ3Q3sATY5566nuz8yMTSEYPwuEoyLSWqfC/SlvjsyiaJ5/n9Z9wEJk/eCWaol6Osho5lZE/6kuzrnXE/crj5gqpnNSjolOfeRvi5AuWck59xN59wZ59x7zrnv40/e/HOUdzaqwf+5/F9m9qmZfYo/UWtn8Hk/yjx0VMCOk3PuJvAesDHaFvwZciP+n6cke/wS/wdVfNbF+GNbo1kfA2aZWU3ceRvwv9c6UtRPuQPB0mhNwFeBDc65XyYd8h4QITH3KuCLJOZenbTyyCbAA7onq+8yofKAaSjvbPQuUI1/xz26ncBfMSb6uTIPGQ0hmBi78f/8dAI4DnwHf0LAvrT2Su5YsF5rZVzTwmBM3GXn3K+DdQOfNbP/wy9o/xq4ALwB4Jx738zeAX5sZjvwJwY0Af/snLuQymuRUdsLPAFsBYbMLDqebdA59xvn3KCZvQLsDsYye8A/Asecc+3BsT/D/0/sNTP7Hv6YuL8B9jrnbqTyYuTzmdnzwL/hT9Ipws9/PfCI8s4+zrkhoCu+zcyuApeiY92VeQilexmEbNmAbwMfAjfw77StTXeftI0px/X4S6ckb/8U7Df8df/68JfPagMWJz1HCdAMDOEvsfIqUJjua9N228xHytsB34g7pgC/0L2Mv/bvQaA86XkqgLeBa8DHwD8AX0j39WkbMfNXgF8FP68/Cr6PNynv3NmIW0ZLmYdzsyAUEREREZFQ0BhYEREREQkVFbAiIiIiEioqYEVEREQkVFTAioiIiEioqIAVERERkVBRASsiIiIioaICVkRERERCRQWsiIiIiISKClgRERERCRUVsCIiIiISKipgRURERCRUVMCKiIiISKj8FozAtdfHkaVxAAAAAElFTkSuQmCC\n",
      "text/plain": [
       "<matplotlib.figure.Figure at 0x104c5a110>"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "plt.figure(figsize=(8, 6), dpi=100)\n",
    "#plt.plot(range(425, radius+1), weight[425:radius+1], 'k')\n",
    "plt.plot(range(0, radius+1), weight[0:radius+1], 'k')\n",
    "plt.grid()\n",
    "plt.show()"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 5,
   "metadata": {},
   "outputs": [],
   "source": [
    "address_space = sdmlib.AddressSpace.init_random(bits, sample)\n",
    "counter = sdmlib.Counter.init_zero(bits, sample)\n",
    "sdm = sdmlib.SDM(address_space, counter, radius, scanner_type)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 6,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "9999\n"
     ]
    }
   ],
   "source": [
    "for i in range(10000):\n",
    "    clear_output(wait=True)\n",
    "    print i\n",
    "    bs = sdmlib.Bitstring.init_random(1000)\n",
    "    sdm.write(bs, bs)#, weight=weight)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 7,
   "metadata": {},
   "outputs": [],
   "source": [
    "b = sdmlib.Bitstring.init_random(1000)\n",
    "sdm.write(b, b, weight=weight)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 8,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "Distance:  499 (100.00%)\n",
      "Done!\n"
     ]
    }
   ],
   "source": [
    "from IPython.display import clear_output\n",
    "\n",
    "samples = 1\n",
    "\n",
    "distances = []\n",
    "x = range(0, 500)\n",
    "#x = range(200, 220)\n",
    "for i, dist in enumerate(x):\n",
    "    clear_output(wait=True)\n",
    "    print 'Distance: {:4d} ({:.2f}%)'.format(dist, 100.*(i+1)/len(x))\n",
    "    v = []\n",
    "    for j in range(samples):\n",
    "        c = sdmlib.Bitstring.init_from_bitstring(b)\n",
    "        c.flip_random_bits(dist)\n",
    "        assert c.distance_to(b) == dist\n",
    "        d = sdm.iter_read(c, max_iter=15)\n",
    "        v.append(d.distance_to(b))\n",
    "    distances.append(1.0*sum(v)/len(v))\n",
    "print 'Done!'"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 9,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "image/png": "iVBORw0KGgoAAAANSUhEUgAAArsAAAIaCAYAAAAgI4XJAAAABHNCSVQICAgIfAhkiAAAAAlwSFlzAAAPYQAAD2EBqD+naQAAADl0RVh0U29mdHdhcmUAbWF0cGxvdGxpYiB2ZXJzaW9uIDIuMS4yLCBodHRwOi8vbWF0cGxvdGxpYi5vcmcvNQv5yAAAIABJREFUeJzs3XecVOX1+PHPmZ3tLCxLFVAsYEWNXWPvmqj5aTSaYmKMJmo01miK0ViikphibCn6jdHYgoVYsGAsEUGxICqgICC9b68zO/v8/njunbn3TtlpsJTzfr1Wdu48c+8zZcczZ849jxhjUEoppZRSanMU6usJKKWUUkoptb5osKuUUkoppTZbGuwqpZRSSqnNlga7SimllFJqs6XBrlJKKaWU2mxpsKuUUkoppTZbGuwqpZRSSqnNlga7SimllFJqs6XBrlJKKaWU2mxpsKvUJkJE/iUinxdw28ZizynHOZwnIkZERm3g44ad4167IY9bKBEZ48z7O31w7GOcYx+S5+23EpGnRGSds5+Liz3HvtJXr+NMRORmZ061fT0XpTZGGuwqlScR+YbzP5hTU1w307nuyBTXLRaRqRtmlrkRkX4i8msROayv57I+icghzv3s39dz2UzdARwD3AKcDbzct9PJnYhcKyKn9PU8vDbGOSm1KdBgV6n8TXH+9WW/nABqHNANHBy4bmtga89tc/F9YNc8bpeLfsD1wGYT7BpjuoFK4FbP5kOw93NjDnbnY+f9SB8c+1Xn2G/lefujgKeMMb83xvzLGDO3eFPbYK4FUgWW/wAqjTFLN/B8IP2clFIZhPt6Akptqowxy0VkIYFgFzgIEGBCiuvcyzkHu8aYaM6T3IKJSAgoM8Z0GmM6+3o+uTLGGKBP5m2M6cn32CJSAgwCilY2IyKVQKfzmPQpY0wMiPX1PDZmIlJljGnv63ko5dLMrlKFmQLs5fzP2HUwMAt4ATjQCbq81xkCGTMR+Z6IvC8iHSJSLyKPiMjIwJikml0RGSwiD4tIs4g0iMg/RGTvdLWeIrK1iDwjIq0iskZExrvzE5ExwApn6E3OPny1riKyq4g86cyxQ0TeFZGvpjjO7iLyujNmiYj8AvsBICMROc055q6ebWc62/4dGDtPRB52fnfrcv8kIt8VkdlAF3BMsGZXRG4mkeVd4rmfozz77vX5SDP/lHXVTk1ld2DbCSLylog0Os/HZyJyk+f6pJpdt/Y60/PoGZvTayNw26SaXRGZIiIfisg4z3O7TESu9Iw5D/uNBsClzj66PdePEZEnnPm0i8g0ETkhzbHPEJFbRGQZ0AZUS6Je9iARuVtE1jqPx70iUioiA53HqMF53m4VEQns/xoRmep5Db8nnlIk9/UClAM/8Lw+7nPvY/D14my/RERmi0iXiCwXkTtFZEBgTK+PYZrnI+OcPAaKyIMi0uQ8LveJ/73J3V9Wr28ROUtEZohIp/M6e1BEtgqMcV+TY0XkBRFpAR4Ukd+ISEREBqXY7/85xy3PdL+VKhYNdpUqzBSgFDjAs+1gYKrzMwBb0uC97lNjzDp3g4hcj/1q9DPgCmy94/HA/yRDTanYDNok4EzgAeBX2BKJ/0tzk1Js7eQq4CrgTeBq4AfO9SsB90SiJ7C1lmcDE53j7Q5MA3YEbgN+is3+PSOeOkIRGQG85tzvW4E/A+d69p2Jm/H2llEcCvQ4/7rHGA6MAf4XuP1xwG+BR4HLgMUpjjEBeNz5/See+1nv7Duv5yMXIrIH8Az227XrgCuBZwmUvaTR2/OYz2sjW4OAF4EPsI/NXOB2ETnWuf414HvO7y9hH9fvOnPaCvsh7xjgLuxX8tXA85K6DvXX2Mf9d8AvAe83G/cA22Ifu+eAC4AbgOexHyZ/AbwN/Az4ZmC/lzrz/5UzzgBPeYLumDPvKPA6iddHMLCME/sB6s/AEuxz+TRwEfCiiAS/Qe3tMUwl2zk9iS0/+Znz+w+wj7N3rlm9vp0PLo8CEeAa4H7gDGBKir+DUuzzvcJz/x9ytp8ROH4F8HVggjGmK8N9Vqp4jDH6oz/6k+cPtobWANc6l8NAK/Bd5/JK4CLn9xps1utvntvvgP0f2dWB/e7pjL3as+1fwOeey99wjv1jz7YQ9n+GBvhO4LYG+HngODOBtz2Xh3vvT2Ds68AMbGmA93jvALM92+7EBqd7e7YNA5qdfY/q5TH9FHg4MMd/O7cd42w7w7m8q+dxN85jtlNgf+5113q2/SzVXHJ5PtLM3fccebbfDHR7Ll/lHL82w77GFPA8Zv3aSHPsY5xxh3i2TXG2fdOzrRxYDTyW4vH+U2CfdzrbD/Rs6w8sAj4HJHDsuUBFYB/nOdc9F9g+3XnN3RmYx3LglcDYysDlMmA28FJgeydwX4rHxp3DKM/fTBQbaIc84y51xp2d62OY4XlJN6ebnf3+NbD9GWBlrq9vZ05rgQ+Bcs+4rznH+VWK1+RNKeY1HZgS2Ob+7R7S2/3VH/0p1o9mdpUqzBxgHYla3D2x2Sq328JUEtm6g4AS/PW6pzn/PiH2a+fBIjIYWAYsAJK6OXicgP2q/n53g7G1lvdkuM1fA5enANtnGA+AiAwBDsdmRPt75lmHzVLtIiLDnOFfAd4yxnzgmdcqbJYoG2/iZHHFtlIaB9wLNJDI7h6KfdznBG77qjHmsyyPk0ohz0cu3HrWrwW/Zs9Sb89jPq+NbDQBj3n22QW8SxavIezrYqox5m3P7ZuBv2ODsJ0C4x8w6Wut7w9cfgdbJuO9v93A+8G5GWM6AMQaiA24pwB7Z3EfUjkWG1j/yXmMXX/FfvANlvkU8hj25i+By28Cw0Skyrmc7et7f2wG+m7jyb4aY/6D/WCSVLqE/RsNehD4sohs69n2bWAh+Z/8qFTONNhVqgDGGIMNaN3a3IOB1cYYt27TG+y6/3qD3bHYv8P5wJrAz1hgaIbDjwaWpQgI0vXibTXG1Ae2NQADMxzDO0+wZQnBeV7nXOfOdRtgXop9ZBuEvgls7fwP8mBsxmka9nHzBrtTnMffa2GWx0inkOcjF49gv2Z/AFjl1EyeLoG62zSyeR5zfW1ka0mKxzzb19A2pH4NuB9YRge2Z3oug+UpTe78Umz3zU1EThGRd4AObOnKGuB8bMlRPtx5++6b89h/QfL9KuQx7E3wcWlw/nX3ne3rO+V9cnxK8n3qMsYsTzH2Uezf77cAnA8XJ2K/uenzkw3VlkO7MShVuCnAycDuJOp1XVOB3zknfxwCLDfGLPBcH8J+rXgi9qu9oJYizjPdGeTZZBbdIGw88EqaMYUGmi5v3e6uwHvGmE4ReRP4oXPSzx7Yr0+DOgo8dqHPR7r/gZf4BhnTLvbkryOxWbITsLWlk0XkhECGMKiQ57FQG/LYmZ7LdPNItT0+N7F9rydiyzkuxJYZRbGlCafnNcvcrc/HsLd9r6/3m5QZeGPMOhGZhM3m3oItrykj9d+uUuuNBrtKFc7bb/dg4E+e697Hfp18BPYktkmB287HBkLzA0FwNhYBB4tIRSCDNybH/XilC9bmO/9GjDHpgl3XYhKZYK/g19SpJ2DMAhFZjs3e7orN9II9Ge232JNbQiSfnJaLTPcz3+cDbCYt1SpWwUwYxrawesX5uVxErsOeZHUYNhgrxPp4bRRqMalfAzs7/y7aAHP4OtAOnGCMibgbReT8FGOzzTy6894JT2bV6TSwLbaWt1gKzYZm+/r23qfg39lO5PZcPQg8KSJ7YYPedwssNVIqZ1rGoFTh3sNmNr4NjMST2XXq3T4Afoyt5Q32130Se2LN9cHaTaemMKltj8dLOK2IPLcJYc8Cz1eb868vYDPGrMDO/UJPba53rkM8FydhA629PdcPI/ms+EzexJ6otC+JYPcDbKByjTPPGTnsLyjl/aSw5wNsMDFIRHbz3G4kgYUA0uznQ+ffYrRjWh+vjUJNwtZv7u9uEJF+2BKC+WRf5lKIGPb5jf+/T0S2J/VCDW2k/uASNBn7Vf1PAq+ZH2IXaSlmsJvtnNLJ9vU9HVsTf6GIlHnGnIz9IJvLfXoO+yHwF9iEgGZ11QanmV2lCmSMiYjIu9hMZBc2m+s1FduOBwLBrjFmrtMK6CZgexF5BntSy3bYk0nuwp8p9nrCOdYdIrIj9uz1/0ei9jDnLJAxplVE5gLfFJH52P9JfWSMmY392vdN4BMR+Tu2bGEYNps9jMQJPuOxNXovi8ifsV9H/8gZv0eWU3kT2zarB+dEFmNMVESmAUdjz7DvznD73rjP0S0iMgH7VfZ/Cnw+wNbi3gL8R0TuxH7AuQgbyO3pGXeDiByI7cW8CPv4/RibGSzGUtJFf20Uwa3Yr7Ffcl4XjcA52JZop26gGs7nse3mXhSRR7GdFH6MfXx2C4x9HzhORC7HttSab4x5N7hDY8xKERmPbY82SUSew2arL8TWZWd7YmY2sppTOtm+vo0xXSLyM+zJg284j9VW2A4TC7DtyrI9ZkREHse2h+vGc3KeUhuKZnaVKg43iH3fJPeOdM86bsG2iPIxxtyMbccj2CVsf4etAX4BmxVJyfka/CvYvrHnYtsPLcL+zxzyX33rB9haxj9h/0d9mnO8T7CZ1hed492FDWKj2P95uvNail0udhY2m3Mptr/rXTnMwc3mzjLGNKbY/iYFMMZMw/Zx3Qd7ktij2LPP834+nNuuwX5V3uXc7mxsm7EXAkMnYs+APxe4GxsYvQYcZYwpuE57Pb42CpnTcuwHo1exr4lbsB+ETjLGPLOB5vAyNuM6EhuwnYl9fp5NMfwybLb9N9jXx48y7Pda7H3aFvgjtv73L9hyiUI+lOU9p3SyfX0bY+7DfmitwJYPnY/NDB/qdNHIxYPOvy8bY1bnOmelCiUb5sO0UmpDEZHTsUHOgcaYd/p6Pmrjoa8N1RdEZB9sude3jDHFzHQrlRXN7Cq1CZPAUqDOylkXY78i/jDljdQWQV8baiNyPnZRmYl9PRG1ZdKaXaU2bfc4y5G+g/268evAgdiVkHQpzi2bvjZUnxK7DPSu2NKoP7oLeii1oWkZg1KbMBH5DnZ9+x2wAc084B5jTKErZalNnL42VF8TkaXYVRZfAL5njGnt4ympLVSfB7tOW57x2CbXVdgVfr5vjHnPuV6wvSfPx7ZceQu40Bgzz7OPOuy66ydjz95+ErhU/7CUUkoppbZsfVqz6ywd+Bb2bO4TsV93XEliiUOAq7FnEF+Abcrfhm1dU+EZ8zC2bcyxwEnYpux/W9/zV0oppZRSG7c+zeyKyG3AwcaYQ9NcL8By4PfGmNudbQOAVcA5xpjHRGQXYDawnycbfAK2gfmoNOt1K6WUUkqpLUBfn6B2CjZLOwE4HNt38h5jzN+d67fDNv2OL09qjGkSkXeAg7DNqQ8CGt1A1/EKtpzhAODp4EGdZRyDqxTVAfXFuFNKKaWUUmq9qAGW57IQTV8Hu9tjm6n/AdtgfD/gzyISMcb8Exvogs3keq3yXDcc8DWpNsZ0i0i9Z0zQz7HNtJVSSiml1KZlFDZBmpW+DnZDwHvGmF84l2eIyDhsfe4/1+Nxb8UG2K4aYOncuXOpq6tbj4dVG4NoNMprr73GkUceSWlpaV9PR61n+nxvWfT53vLoc77laGlpYbvttgO7ImnW+jrYXYGtt/Wag+0HCXbJUrDrxq/wjBlGoin6SmCodwdOb8k6z+19nB6TXZ7xANTV1TFo0KBc74PaxESjUaqqqhg0aJC+MW4B9PnesujzveXR53zLke/z29crqL0F7BTYtiN2DXeAhdiA9Wj3ShHpj63FneZsmgbUOssRuo7C3jddDlMppZRSagvW15ndPwJTReQXwL+B/YEfOj8YY4yI/Am4VkTmYYPfm7AdGiY6Y+aIyIvA30XkAqAUuAt4TDsxKKWUUkpt2fo02DXGvCsip2JraK/DBrOXGWMe9gz7LVCN7ZtbC0wBTjDGdHrGfBsb4P6XxKISP1n/90AppZRSSm3M+jqzizHmOeC5DNcbbCB8XYYx9cC3ij87pZRSSim1Kevrml2llFJKKaXWGw12lVJKKaXUZkuDXaWUUkoptdnSYFcppZRSSm22NNhVSimllFKbLQ12lVJKKaXUZkuDXaWUUkoptdnSYFcppZRSSm22NNhVSimllFKbLQ12lVJKKaXUZkuDXaWUUkoptdnSYFcppZRSSm22NNhVSimllFKbLQ12lVJKKaXUZkuDXaWUUkoptdnSYFcppZRSSm22NNhVSimllFKbLQ12lVJKKaXUZqugYFdEyos1EaWUUkoppYotp2BXRE4UkX+KyAIRiQLtItIsIm+IyC9FZMR6mqdSSimllFI5yyrYFZFTRWQu8H9ANzAeOA04HjgPeAM4BlggIn8RkSHrab5KKaWUUkplLZzluKuBy4EXjDE9Ka7/N4CIjAQuAb4D/LEoM1RKKaWUUipPWQW7xpiDshy3DPhZQTNSSimllFKqSAruxiAiJSLyJREZWIwJKaWUUkopVSw5B7si8icR+YHzewm2XvcDYImIHFHc6SmllFJKKZW/fDK7pwMznd9PBrYDdsbW6P6mSPNSSimllFKqYPkEu4OBlc7vXwEmGGPcTg27F2tiSimllFJKFSqfYHcVsKtTwnACMNnZXgXEijUxpZRSSimlCpVt6zGvf2Bbja0ADPCKs/0A4NMizUsppZRSSqmC5RzsGmN+LSKfAFtjSxi6nKtiwG3FnJxSSimllFKFyCezizHmCQARqfBs+2exJqWUUkoppVQx5NN6rEREfiUiy4BWEdne2X6T25JMKaWUUkqpjUE+J6j9EjgHu4RwxLP9E+C8IsxJKaWUUkqposgn2P0u8ENjzMP4uy/MxPbbVUoppZRSaqOQT7A7Evg8zb5KC5uOUkoppZRSxZNPsDsbODTF9tOBGYVNRymllFJKqeLJpxvDjcA/RWQkNlg+TUR2wpY3nFTMySmllFJKKVWInDO7xpj/ACcDxwBt2OB3F+BkY8zkTLdVSimllFJqQ8q3z+6bwLFFnotSSimllFJFlU/NrlJKKaWUUpuErDK7ItIAmGzGGmPqCpqRUkoppZRSRZJtGcNl63UWSimllFJKrQdZBbvGmH+u74kopZRSSilVbHmdoCYiJcCp2C4MYHvv/scY012siSmllFJKKVWonINdEdkNeAYYDnzmbL4GWCMiJxtjPini/JRSSimllMpbPt0Y7gNmAaOMMXsbY/YGtgY+Av5WzMkppZRSSilViHzKGL4E7GuMaXA3GGMaROSXwLtFm5lSSimllFIFyiezOxcYlmL7UODzwqajlFJKKaVU8eQT7P4c+LOInC4io5yf04E/AdeISH/3p7hTVUoppZRSKjf5lDE85/z7bxILTYjz77OeywYoyX9qSimllFJKFSafYPfIos9CKaWUUkqp9SDnYNcY88b6mIhSSimllFLFlu+iEhXAHtiT0nx1v8aYZ4owL6WUUkoppQqWz6ISJwAPAoNTXK11ukoppZRSaqORTzeGO4EJwFbGmFDgRwNdpZRSSim10cgn2B0G/MEYs6rYk1FKKaWUUqqY8gl2nwCOKPI8lFJKKaWUKrp8TlC7GJggIocCHwNR75XGmD8XY2JKKaWUUkoVKp9g95vAcUAnNsNrPNcZQINdpZRSSim1Ucgn2P0NcD1wmzGmp8jzUUoppZRSm4HpC+vZdnAVQ2sq+nQe+dTslgGPa6CrlFJKqc1NrMdw53/n8d4X9X09lU3arOVNfOOv07ji8Zl9PZW8gt1/AmcWeyJKKaWUUn3t3S/q+f3kudz8/Jy+nsombWlDBwBLGtr7eCb5lTGUAFeLyPHARySfoHZFMSamlFJKKbWhNXdEff+q/HREYgC0dXX38UzyC3Z3B2Y4v48LXGdQSimllNpEdXXbKs2OaKyPZ7Jpa4vYILd1Iwh2cy5jMMYcmeHnqFz2JSK/FhET+PnUc32FiNwtIutEpFVEnhSRYYF9bCMiz4tIu4isFpHfiUg+QbxSSimltnARDXZ7FY31YEzm/Kab2e2M9tAd69vTvPKp2S22WcBWnp9DPNf9ETgZOAM4HBgBPOVeKSIlwPPYk+a+DHwPOAe4cQPMWymllFKbGTez25kh2O3qjvHeF/V9HsT1hcb2CAfe8l8ufezDjOPauhKPX1ukbz845JUBFZF9gW8A22ADzThjzGk57q7bGLMyxTEGAD8AvmWMedXZ9n1gjogcaIx5G9vvd1fgGGf54g9F5FfAeBH5tTEmkstE2traqKurQ0QAiEQiRKNRwuEw5eXlvnEAlZWVhEL280I0GiUSiVBSUkJFRUVeY9vb2zHGUFFRQUlJiX1wurvp6uoiFApRWVmZ19iOjg56enooLy8nHLZPeSwWo7OzM6exIkJVVVV8bGdnJ7FYjLKyMkpLS3Me29PTQ0eHLWCvrq6Oj+3q6qK7u5vS0lLKyspyHmuMob3dFsRXVVUlPZ9evY3N5rkvxusk1fNZjNeJ+3wW+joJPp+Fvk7SPZ+Fvk68z6d3bDQapa2tjaqqqqxfJ+mez3xfJ/oesWHeI4J/4/m8R+QyVt8jNo73iM7OTtra2qitrc36uU/3mop028CsIxKjtbU1Pl/vc3/X5Dn8+bWF3Hz6Xpx94Gjf87m5v0d8urKFdW0R3pq3mra2trRjWzo749ua27sI90QKfo9wH4ucGWNy+gHOAiLAs0CX8+9nQCPwjxz39WugDVgOLAAeBrZxrjsKWwNcG7jNIuBy5/cbgQ8D12/n3G6vDMctB/p7fkY6tzHLli0zkUjERCIRc8MNNxjAnHvuufFtkUjEVFVVGcDMnTs3vu322283gDnrrLN8YwcPHmwAM2PGjPi2e++91wDm5JNP9o0dPXq0AczUqVPj2x544AEDmKOPPto3dpdddjGAmTx5cnzbhAkTDGAOOugg39h99tnHAGbixInxbZMmTTKA2WOPPXxjDzvsMAOYRx55JL7t9ddfN4AZM2aMb+yJJ55oAHPffffFt02fPt0AZsSIEb6xp512mgHMHXfcEd82a9YsA5gBAwb4xp599tkGMLfeemt828KFCw1gwuGwb+wFF1xgAHPttdfGt61evdq4z2dbW1t8+xVXXGEAc+mll5qJEyeatrY209bWFh+7evXq+Nhrr73WAOaCCy7wHS8cDhvALFy4ML7t1ltvNYA5++yzfWMHDBhgADNr1qz4tjvuuMMA5rTTTvONHTFihAHM9OnT49vuu+8+A5gTTzzRN3bMmDEGMK+//np82yOPPGIAc9hhh/nG7rHHHgYwkyZNim+bOHGiAcw+++zjG3vQQQcZwEyYMCG+bfLkyQYwu+yyi2/s0UcfbQDzwAMPxLdNnTrVAGb06NG+sSeffLIBzL333hvfNmPGDAOYwYMH+8aeddZZBjC33357fNvcuXMNYKqqqnxjzz33XAOYG264Ib5t2bJl8efT3dbW1mZOOukkA5hrrrkmvr2hoSE+tqGhIb79mmuuMYC55JJLfMfT94hN5z3C/fvO9z3iiiuu8L1+9D1i436PmD17dkHvEZFIxFxyySXx94i7X/3MjL7mObP15U9kfI+o2ecUc9Ozn2xx7xEvzFxqH59v3ZzxPeLUK39nRl/znBl9zXPmoacmFe09wvnpn0u8mU9m9xfYYPNuEWkBLgUWAn8FVuS4r3ewZQefYUsYrgfeFJFxwHAgYoxpDNxmlXMdzr+rUlyPZ0wqP3eOleSVV15hwIABAMydOxeAJUuWMGnSpPiYWMx+6nvttdcYNsyWEM+ePRuA5cuX+8ZGIja5/Oabb7Jo0SIAPv74YzvRVat8Y91Pm2+99RarV68GYOZM259u7dq1vrGtra0AvP322/FPOu+//z4ADQ0NvrFNTU0AvPfee/FtH35ov35obm72jV23bh0AM2bMiH+imjPHtl9pa2vzjfXO0d2+YMECwH4C845dudIm72fNmhXfvnz5csB+QvWOXbp0KQCffvppfLs7L2OMb6z7mM6bNy++3X1sAF544YV4VsGdm3ubyZMn092dKJx/+eWX6devX3x/7ljv8dwapVdffZVBgwbF5+nO2zvWzTC98cYb8f3NmjUr/nh4x3Y6n4CnTJkSf1zc53716tW+se7zPW3aNBob7Z/HjBkz4o+Td2xzczMA06dPj78W3ddBU1OTb2xDQwNgX0fuJ2z3tdra2uobu3bt2vgc3UyKex/b29t9Y1etWhXfl7t98eLFgP378I517/vs2bPj293bx2Ix39glS5YA9u/U3e6+1gHfWNf8+fPj2zs9WYeXXnopnh2ZP38+AAsXLky5D32P2PjfI8D+fUN+7xELFiyIj9X3iC3jPWLhwoWA/ftvnv0ptvFUQqr3CIDPPl/ApNjnvrGb+3uEWSNACV3d9rWe7j1ixeo1MGIXAN6dYeeQ73tER0cHb7/9NvmS3gqMk24g0gbsZoz5QkTWAUcYYz4WkV2AV40xW+U9GZFabOb2CqADmykuD4yZDrxmjLlGRP4GjDbGHO+5vgqbLf6KMeaFNMcpx2Z3XTXA0vnz5zNq1KjN+uuHTf0rymzGZlPG8MYbb3DssccSDof1K8o8nvtNqYzBDZQOP/xwLWPYAt4jotEoU6dO5dhjj6W0tFTLGLaA94iuri6ef/55jjrqqKKUMdz1v0Xc+8ZCjDG8dNG+DB9QkfTcn/fAdKYubOKM/bfl1lN38z2fm/t7xKPvLefG5z/F9MT43+UHMbC6POXYnz49h8mf2YU57vvOl9h3VHXO7xGVlZU8+eST/PSnP2XZsmV4DDDGNJOlfDK7DdjgEGAZtv3Yx0AtUJXuRtkwxjSKyFxgDDAZKBOR2kB2dxjg1viuBPYP7GaY57p0x+nClmAAxF+UAwYMiP9BAPEHPsj7x+Qd630C8xnrfhIMjvW+iPIZm+p+lJaW+v5A+mIs4PvjL+ZY7/MYHOsGvKWlpb43wWz2m+75zGVsLs99oa+TdM9RX79OYMM/97W1tUm32Riee32PSD8Wcn+dBP++83mPKGSsvkcUZyzk9txXVFQk/Y3n+3zGjI0JRISyqn7U1vZLGhsJlSPhUrpiJn7bLeU9oj1qT8qTUAnhyn7071+ZcmyXSWTHuwll/fiudXvqAAAgAElEQVS4r5N58+Zx8cUX8/LLLwOw/fbbM378eM4444yk2/Qmn24M/wOOdX6fANwhIn8HHgX+m8f+4kSkH7ADthzifeyCFUd7rt8Je1LcNGfTNGB3ERnq2c2xQDMwu5C5KKWUUmrL0+XpwpCu/Zi7UEJHH3cZ6AstnYnSntbO9D10OyKecV3ZP04dHR1cd911jBs3jpdffpny8nKuv/56PvnkE4477ri85pxPZvdiwP1o9htsQPpl4Eng5lx2JCK3Y09wW4RtK3YDEAMeNcY0icj9wB9EpB4bwN4JTHM6MQC8jA1qHxKRq7F1ujcDdzvZW6WUUkqprEU87cQ6o6lbi7kLJmRqT7Y+fL66hbc+X8e3D9iGcEnfdI9t9ga7GRaM8LUey3Jhieeff55LLrkkXkN9/PHHc9dddzFmzBgg8c1srnIOdo0x9Z7fe4Db8jqyNQqbER4ErAGmAAcaY9Y4118O9GAD6XLgJeAiz/FjInIScC82y9sG/BO4roA5KaWUUmoL1RX1BrvpMruxjNevLzc+N4f/zV3DNnVVHLnz0N5vsB60dCYCzkzBrjcrnm6cMQYRYdGiRVx22WVMnDgRgJEjR3LHHXdw2mmnxUtNC5FzsCsiewNRY8zHzuWvAd/HZlhz6m1rjDmrl+s7gR87P+nGLAK+ku0xlVJKKaXS6Yr1Huy6wduGXmVtdbPtyrGqubOXkeuPt4whU8bWe12qYPfm52bzxLtfMGbV60x68C46OjoIh8NcfvnlXHfddfHOJ64VTR28N291XnPOp4zhr9hs7scisj3wOHZVszOwJ6hdltdMlFJKKaX6mDezmyqYjcZ6+mxJYTfQbO7M7+v84szBk9nNWLObuYzhwSefZ+Ezf2ZmvW0leNhhh3HPPfew2267pdzfW5+v44qHZ+Q153yC3R0Bd424M4A3jDHfEpGDgcfQYFcppZRSfcj9ejwfvdXsegO3Tk9AV8gxs+VmSJs7squBXR+8Nbstznwi3T38/KmPWVLfzj7bDuTq43eK1zWDP7O7YsUKrrrqKuY98ggAoapaTjn/ap76488QkbSP4+qW/LPZ+VQ3i+d2xwBud+AlwOC8Z6KUUkopVaBPljVxwC3/5d/vLsnr9r11Y2jzBLidTob3xmdnc/jvXqehLetKzpwZY+JBY1PH+s/sGmNYsKaVaMwf8Hszu27g//6iBp78YCnTv6jn3tfns6Kpkx7PMg5tXd28+NEyRn7lIrYbsyOPPPIIINTs/VVGnv8XRu5/PCLCTc/N5rDfvUa953Fs6+pmaUM7a1ry7zuQT7D7HnCtiJwNHA4872zfjuTVzJRSSimlNpirn/iI1S1dXP3kR3nd3pfZTdFazJvZdb+q/7+3FrK4vp37pixIu98XP1nJjMUNec0JbOAdcyLIDVHGMOnjlRz1+ze4JvA4tqToxtDU4Q/y17b6A9MvZn/I2acczfIX7qWrvZXa0bsw/Ht/pO7YCwlV9IsHt/dPWciS+g7uezPxOP6/u9/ikPGv8e4X9eQrnzKGy4CHgf8H/MYY466TdzowNe+ZKKWUUkoVKFRgR67eujF4v5LviMbiS0QDLFjTlnKf89e0csG/7FK8X9z21bzm5Q0ymzdAZvfOV+3yzk99sIw/fONLAHTHemiPJHdZCGaaG9rt5Vh7E41v/JOXP7ILQ4Qq+lF7+Dn02/M4RBJPVH0gI75oXXv893mr7bLGnyzLesG0JPm0HvsI2D3FVT/F9shVSimllOoTFeGS3gdl4M3spixjCJxs5a3rXdrQkXKf3u4JndEYFaW5z9EX7GY4McxljGFJfQdb11XmVUtcU5EcIga7KrgnqAVriNe1dNIy8yUaX3+Ans4WAKp3P4aBR3yfkqrEym0DKktp6oiyri3iK5eYOn8tR/3+db5/8HY5zzuVonUkNsZ0GmP67vRApZRSSm3xKssKC3a7uj01uSlPUPMHwOvaEl/ZL2loDw4HIOxJN+fbNsxbK5tNZvf+KQs57HevMeH9pTkd55NlTbw0ayU1FYmlfCPdPaxo6uD/piz0jY2fMOeZW2TVfH76va9R/+Kd9HS2UDpkW4Z9+7cM/spljNlmBDXliSB65+E1gM3sNrYn9tHQHmXBmjZ+NfGTnOaeTj5lDEoppZRSG6XyQjO73blldr0nTjW2R2lsj1BbVeYb0+7pTLCquYvRg6pznpc3q5rNCWqfLGsC4NMVLVkfwxjDSXdOAWD7wYk5Lm/s4KoJM3lvkb/mONEdIkpPVxuNb/6Llg+eB9ODlFUy6LDvULXXSUjIPid7jBrA56tbmbXcliTsPLyGdxbWE+sxLK5P/UGhGPpmrTmllFJKbZJWNnX66lQ3NoVndhPBblfKbgz+YHd1oEvAnBTBpbfn7Mq8M7veMobeg911Th1sY3uEb/39bS5+5INeb7OsMVGGsWBtov54aUNHUqALtozBGMP0V55h2d9/RMv7z4LpYddDTmDEeX9h7FFnxgNdgD1G1TJ6UFX88siBlfFM78K1qeudvarK8gtbNdhVSimlVFZe/2w1B976X/44eW5fTyWtytLCQpvgohItnVEmzlgWLyMI1q0GW2J9ujL5RCrvSV2r8wx2vQs4dEZ7fOUWqaxttcHunJUtTJ2/juc+WtHr8sYfLW1KuX1JQzuVKeqM1yyZz1FHHcWLd/2SnrZGwnUjGXrmzRxxwW8I1wxiaP+K+FgROGrnoWxTl8gYD62poK6fzYIvWNOacW4Ag/uV9zomFS1jUEoppVRW3G4D87PIwvWVVEFZLiKB5YKvmjCTl2at4rhdh/G37+5Le6BmN5jZDbbdAmj3BJkrm/ILdoPZ3JbObsr7pb+v65x5LFqXeK6aO6IZT46bubQx5falDe2MGdqPj53SiJ5IJ01TH2PRu09DT4yS0nJqDjqT/vudioRL490VBvcr48x9t2ZdWxdXn7Az2w2uZltPZndITTl11WUsWtcef22FQ8KuI/qnDLyH9KtI2paNnIJdEdkVuBg4CBjubF4JTAPuMsbMzmsWSimllNqitXRGKQkJVWWF5eG8wVysx1ASyr4TQXesJ97LFmxm97XP1gDw8my7lEBvmd2WFJ0S2j23WZXn4gjB4zZ1RNNmOnt6TDzg9GaVGzuivmzrbS98ytT5a3nshwdSVRbmoyVpMrv1HURjPRhj6Jg3jfpX/k6sxT4up5xyCvV7fJMl0RrKwyG6untoaLfHrioLM/70PXz72sYT7A6tKWdQtc3sumUMx48bzt3f2ptdfvViUs304Bp/LXS2ss71i8iJwAxgL+A/wI3Oz3+APYEPROT4vGahlFJKqY2eSfqlOKKxHo743evsc9MrdMeSOyDkwhvs9va1fVAkcOyOXpYLhiyDXU/Auaqpk0h3D89/tCKeffV67bPVzF6eXAoR3G+mjgxNHVG6e5KfpOAKb/9+bwkfLW3i46VN9PSY+EltQUsb2mlatZQ1T9zAmqdvIdayhpL+Qxly2q+Y8OTTRCuHADZTC4m+uVUp6qe9J+cNramgzgl2F6y1ZQwDKm0XiIFVpUm3HVyz/ssYbgPGG2OuS3Hdr0Xk18DvgJfymolSSimlNmruiWmmyNFuY3s0fkLV4vp2th/SL+99lXtqdtsjMarLsw91ugLBbTYnqK1p8ZcltHRGue/NBQzqV8ape40C/F0dVrV0ct+UBfz2xc/Yfkg1r155RPy6BWta+f4/3gXgnC9vy/Un7xrvkdsaDHYz9Nr1tkPzavQEyNFYTzworW+LsKyxg5au5H2a7gjTn/o7y994BNMdJVxaylVX/ZSHu/YmVFpBW1d3vMRiaE05Sxs6fJndoBEDKvjal0ZQWhJiQFUpddXlznzsa6rWCXZrq8pYHij52Kr/+i9j2BG7clo6jwLX5DULpZRSSm0ycmnG0BmN0WNMxvKE7p5EkDl/TVtBwW7w2Nl6aNoX/OmVeb5tHdEYJSHxlTa0Bmp23czuwKpSGtqjfLqyhVfmrAZg/+0GMbK2MtB6rJP/OtcHV1zzBqMPTP2CCw7fgeEDbIDX0uXP5GbK7LonpwU1eXrZelctW9cWSZmR7ljwPvWT/0J34woAKkZ/iaf+dR8nHrIPT137Al3dPTR2ROOZazez6wau1eXJmV0R4Y6z9opfdssYXPHMbnUis3viuOGMrK3klD2HcGnae51eLqcsfgFkWuPuq8CiPOaglFJKqU2AG+RmG+waY/jyba+y63UvZQw8o92JHc5bnX1f2NTHTPzeHomxrrWLFz9ZQU+Kr/W9Jry/NJ5ddnVGY5SV+EMlt/7WrQVe45QijKitBPztux59Z3F8Hol99lCRpmNE8HH1BsnBYDRTr911aYJdN+MK/vKLda0RX3eH7uY1rHn6FlZPuJ7uxhWU9Ktj66//nKFn3sTOO+8MJFq8ebtLDAmUGWTTBq4uEOzWViUyu659Rg/k2pN2pW4DdGO4DnhERI4AXgFWOduHAUcDJwDfymsWSimllNroueUL2ZYxxDwnSi1c28YuW/VPOS4SSwRan6/qvQVVtjqiMS5+ZAbTFqzjymN35JKjx6Yd6w0E47ePxCgLh3xlCO6JYoOqy1jd0hXPYm41oJJZy5t9Aetj7y7mJ0eP9fXZBQh5lu/t6TGE4ifR+R9X7wpubrDrLrHr7c6wpL6d+6cs5AeHbMfWdVVZlTGs8dQL17d10dXdg4l10/bBM9S/+Qgm2gmhEDV7n0ztId+mtLKaWI+hPGwD9crSEhqJxk+461cepjqQvQ9eTmWHof4sfqqaXXdbvrIOdo0xE0RkGfAT4EqSuzEcYYyZVtBslFJKKbXRyjWz6z1JKlNmN+LL7BYv2G2PdDNtwToAfj95bsZgt7EtOVPa2d2TFGi5y9puNaDC13ZsZG1yPena1gizljf5MrsA/T37XNcWScqIurzZVjfIHllbaYPdjkSm9+z73+GLde3MXNrIhB8dxLKGjqR9uXN3V3hb683stkV4Z+oUVjzwE6JrbTa6fOSuHHrONczrHgQQL+XwBruQyOz2rwjHr3Nlk9ndbUR/KkpD8cB+QKXN6NZ5MrsbLNgFMMZMBaYWdESllFJKbZJM4N/e9HiiYu/KZEHeLgifr24NZDt7t6AZvljXxtjhtb7V3bKt2Y3GenwnZ/UrD9Pa1U2ku8dXxmCMod7JAI+orWSmpxfsVk4ZQ9C61khSZtf7AK5s6owHu8EPEd7HzF3UYqsBFcxe0Uyrp4b3i3V2qd0Zixs55g9vxC8HPTp9MY9OX8xxuw5j1EDbAizW1sDzd97FF2+/CEBZv1oGHvF9ync9kh13Hcm8j1b49lHuBLluILvKDXYrS+PXubLJ7JaWhNhr64HxDyUDKpPLGAoNdgtaZkREykVkBxHJr4hCKaWUUputbDO70Zh/1TJv3WtvljV2cMesMMf+6S0guWZ3721q45dXt6Re0KGx3Z/V9QZX3oC9LRIj4gSgIwLBbfCyq74tQnvUX2/rvb8rmjqYs6KZ3774aVIG2PuYud0YhvYvd65L/eEhXaDr9fLsVdz/5ue0fPA8y/5+AV+8/SIiQr8vncBJNz3GDgefhEiIgVWlSdnaYGZ3ZbPNEPevSB6bqvVYKvttOzD+u1uz6z1BbUCKNmS5yKXP7jkicpDze4WI3A+0AXOBVhH5iwa9Siml1OYr1zIG70lhmTK70cB1b32+Nus5eQPjtq5uX9a5PRKjpiIRKL3/RUPKfTQG6nVrKhIZSW9+2S0PqCgNJZ1YNbSmPOUCFuvaIklBrPdDwOL6ds5/8D3ueX0+L89e6Rs3Y3EjX7trCpNnr6LN2cfQGlsukerDQ7oT34K6ln/GyoeupH7yvZiuNqpGjOXmf/yHQcdfTP8BAxnkLOE7oLLU17c4JHaFM8gus5ttsLvbyAHx31OdoNa/YsNldq8D3FfjTcBRwBnAbsDpwJHOdqWUUkpthkyOhQzZZna7Aos5POx0MchGqafMYGlDhy8Q74zGfDN9b1Ei2I3Genj9s9W0R7p9bbjABnJu4Br13Icl9TZrWldVlrTsbk1F2Bckl5bY269r7UoqY/Bmdv/yxgKWOkF0MCi+47/zmLm0ifMffA+wwecwp9es++HBu2/vUsnhkHDQ9oN8+4t1tLDupbtY+dBVRFZ+jpRXU3fshQw/+/dsvePugF2Uw20HZoPdxONbHi6J9/2tyKJmN9vV8A4eM5jqshK2G1wdvw8D+6iMYQTgFm6cAlxojHnaGPOpMeY/wPnAmQXNRimllFJ96n9z1/CXN+b7al9duWZ2fUvvButWPdzM7naDqykLh/h4WRMzlzRmdYyIJyu8tKHd1ymiPRLz3Y+VnkUK/v3eEs75x7vc/tJcGgJlDOGQxGt1vSumLXaC3YHVZb7AEqCmvNQX7O7g9AquT5XZjSXmtNbTFaG3x3W7wdXx4NP98LC8KZHZdvc7pKacd395DONG9nf220PrR5NZ/vcf0frhi4ChetxRjDz/L9Ts/VVihOKtyMrDIU750gi2G1zN4TsO9d1P74Id7nb3djWpgt0UfXZT6VceZurPj+bZSw6JB9ODnexyeTiUdYY4nVxOUFsJ7AAsBqqB4HcMa4BBwRsppZRSatPx3f+bDsC4EQM4ZOzglGOyPUHNG+y2BQK+R6cv5tmZy7n3O/vET1AbWlPOnqMGMPHD5bzwyUr23LqW3njLI5bUt/sCxmCA7W3XtbbFZnNfmbOKHYf521+1diVajnkDVTfYrasuSyoZqKkIU1NeCtjgc4ch/fh0ZYtTxmAD5qqyEtojMd8iGl49vUS72w+ujmdU3dXelnvKONyT7PpXhBlYXcaAylIiqxfSMPleOpfOttdttR0nX/QrprQO9e17WaP9IFBRWsKpe42Kr/7mzWB7g1k32HWf1+ryMOXh/MoYIDl7O2pgFZcePZZh/SviAXC+csnsPgz8RkRqgYeA60SkH4CIVAG/Bt4qaDZKKaWU2ijUp+g7G18uOMvUrjfYbQ8sRfvzpz5m6vx1PDZ9cfxr/bJwiH1G25OVPs9ycQlvecTSQMutjmjMF/x6l9h1M8CL623LLq/mjihl4eQQaWmDk9mtKmPbwdW+66rL/WUMbv/YVc2dnhXF7PXRmP/xc8sGeln3wp/ZddqSLU9xMl9VWZjm5mae+9t4VjxwKZ1LZyOlFdQecS5n3fooxx9zVHysO2d3P0knpPmC3cTvwbZi1eXhpA8A2ZYxpHP5sTvyrQO2KWgfkFtm9wZgHLAAeA84FFjl9N4dAawDji14RkoppZTqE97AsaY8OUSIlzFkub90mV1vsFwWDsVLEcpKQowZWgNk32/Xl9ltaGen4YmFKzoiMV9ZQ4tnUQVvEDzpY/+JYc2d0ZQnRS2ptwFhXXUZe28zkId+sD+3TvqUresqKQuHfP1zdxhig2HvCXQ15WHWtHT5Mrtn7rs1jR0RXpq1qvfM7pB+VDgBp/tcBXvqGmNYO/M1dt75G6xYYatPR+19JOaA7xHuP5jhtdXsMrzGt8+ZSxrj5RDBk8wqfTW7id9T1SwXktldn3JZVCICfE1ETgBOBmLYzPAKbEb3EWNMW4ZdKKWUUmoj5m3BVZ7izP746Wl5LCrRHummtaubix7+wNcObKsBFaxxlrctC4cY65QULK5vpzMaSwqqgrwtuJY2dLDTsEQgZ2t2E2ObA0vuuoJL77Z0djMkxdK0SzyZXYBDxw7h0EuHxK9PVbPrrnxWEpJ4ttitrf3R4dvz8xN34YKH3gd6z5hvN7g6vpqbe7/d8gOA6Lql1E/+C4sXfWjnsMMY9jrrCi757unx8pQjdhrKPqMHcuEROzC8fwX/m7sGgBVuGUMgs1vRS82uq7os7Lu+rCTkO3mwL+WcXzbGvAi8uB7mopRSSqk+5F0yN1VZaUGZ3a4YT7y3hP/NXRMPsABKQonMbmlJiEHVZQysKqWhPcr8Na3sNmJA0n69It3+Mgbv3DqTyhg8md1e5p6qjMGt362rTt0dwM0Gh0PC6EFVvuuqSj0dHpyyDXfZYLcktbcPEdsOrmLhWptX7IzGiPUYZq9opifaSdO0CTS/8yT0dFNSWsZ11/6Sq6++mooK273hpcsO47NVLRy5s63VveaEnQH4yFkYw62bTs7spitj8D8+tmbXEwxvJFldyCPYVUoppdTmyZvZTXcSVS5igcxuKsYYX82uiDB2aA3Tv6jn89W9B7udnjIGu4xu4j4Ejxnp7klkizNElsP7V6QMdl0DAz12XW5mt7aqlH7lYV+JhredmZvxLskh2B0xoIKqskSpQGc0xm9f+pT335xM/eS/EmtebY+z/b6c+ZPruO7Sk32332l4DTt5yhdc/QIdE4I1u72doJbYT9g3tnojCnY3jvyyUkoppfpcU0cisxtLcbaUW/+azwlqwW4MiX3iy+wCjHFKGeau6v0kta7ASmIrmxNf67cHanYhUVaQ6h7ccurunLznCP557v6+ZYKD6qp6C3bLEJH4iWdg61fdrgJuGYO7BoU4S1ekq9kdMaCCa060mVj3JLDG1cu5+SfnsObJm4g1r6akZghDTv0FQ06/nuFbb5t27kH9Kvx5z2BmtyLLmt3q8hLf9VUpar77ysYzE6WUUkr1qQZfZjd9n91sebPD7V3dKWtmjUl8rV/mLMQw1ulkMG9V7yepBVdmiwUWsggGZc2dUYbUlMfvS/+KcHxee21TGz/7P7/Mri1jcIPhuuoyVji9fSvLwjh3L/64hBLRLpC+G8Ofv7kX+25bZ4f2dNM07d80TX0c090FoRIuv+IKnogdQKjMliwEs66ZVAeC0kyZ3bIMZQr9Aq3HNpaT00Azu0oppZRyeMsYUmd2nX+zXS7Y+DO7zYETwdy9xrsxOMHUYOfksOCJY6l0dfszxt5p28yuXyKza685eEyil7A3E5sp2A0uFezaf7s6htSUc9xuw5LGVZWVxGt0E5ldf//YdBlzN+B85ZVXOOKg/Wj834OY7i7Kt9mdHX54N7ePHx8PdCG5njaTfoFgN/jhoCJdzW6wjKHCf4LaxhTsamZXKaWUUgA0esoYUmV23Sg3WBqQjnelsPZId8rg1ZjEyVFuGUO8hjWLYwQzu96AsSMaY2BgJ27A7Q4bPqCCX3xlZzoiPQztnwgY05UxhENCbVXqE9R2GNKP6b84Ol6uMNyzv9ISiQfibibbreF1Q950ZQzN9as568of8fjjjwMQqq6l7qjzqNrlcOr6VxByOj24Hxpy6W9bXdZLZjecXc1udXnYN7bQHrvFlNVMROQP2e7QGHNF/tNRSimlVDF9trKFresqswo+Gtu8md3kE9RyzezGvJndrm5fNwTvPoOZXbeGNZtotzNQs+uN0bu6e3qt2RWEHx62Q9J+02V2v773qKR+sl7e1b5+cvRY5q5qYebSJsYM7cfnTu9g94OEO9S9TfDzhemJ0fL+sxx/z+O0trQQCoX48Y9/zLPhQzFlttuDm5mtLC2JP469tWvzCpYxBG/rzRJ7M7cVwUUlysKExN4nYzbNzO5egct7O7f9zLm8I7bv7vtFmpdSSimlCvTJsiZOunMKX919K+7+9t69jvdldmMpyhiM/9/eBFuPNXek7sgQTZvZ7f1AyWUMidsYkzxXN+B2t6dbiTZdsHv5sTv2OifX1nVVTPzxwcxa3szYYf0494F3geQyhlSZ3c6ls6l/+R6ia74A4IADDuDee+9lr7324tXrX6LVWZGu2hPsupnzXGp2g2UMmbsxpC5jqPS0VSsPh+iM9mx6wa4x5kj3dxG5AmgBvmeMaXC2DQT+Aby5PiaplFJKqdy5y+cuS7GkbCqNvZ2g5nZj6CUIXbi2jVsmzWGcp21YRzQW7+P7j+/vx72vzWf6F/W2jMHJSJbHM7vO8fLI7Ppvk5hpdVmJr27YvSZNrJsU9J20x1Ycv9twhg+oSHOL1ESEcSPt4+AGt1Ena56q9VisvYmG1/9B28ev2NtU1HDXn27nR+efRyhk51RRGqK1y7lfTuuwijzrZYPdGDLX7KYuY/Bmh8vDJU6wu4mVMQRcCRznBroAxpgGEbkWeBn4fbEmp5RSSqlCGM9/e9dbsJutH/zzXRasaWPy7FW+7atbbIQ2oLLUl72NOpnOdDW7//lwGb9+Zhb3fW9f9hld59tnpDtYxhDM7NrL/StLaYvE4mUM9JbZ9dTs9isPc9e3es+M98YNdoNZZQGM6WHuG0+x/Il76Om05Q799jiO2sO/xwU//KavPMKbYXUzs96gNJcyhtz67HoXlfDOwXvsEE0dm2YZg1d/YEiK7UOA5G7FSimllOoT8bgvy7oDbxlDLJaiZreXMoZp89fR1BFhwZq2lNfXt9n9968o9WUzuwI1u26+1Q1UL33MLn/72xc/4/EfHeTbZ8YyBs/2AZWlrGjqTKobljTRrreMobQkXf43N6HAbtyv/lcvnMPKh25g8Yq59nhDt2fQcRdSPnIXKktLkubozeLGyxjKUgeivem19Vg4Tc2uJwj2ZofdgDi4376Uz0yeBv4hIlcC051tBwC/A54q1sSUUkopVRgT+Lc3vZcxpN+fMYYfPfRevJY0k/6V4fhJaIZMNbvET+qC1NnCzqTMrn9O7kV3Kd/kE9RS8we7xenUWhKIdjtaW7j44ot59J57wBhKK6rpd/C3qdvvJLqNPWaqwNUXaHpqdl2F9NlNPkEtizKGsnDSmFzmsL7lE+xeANwOPAK4vTe6gfuBnxZpXkoppZTagDoiMV8br5R9djNEux3RWMpFI1LxZ3aT++x6a3Zf+HhF/HapVmELrqDmnZvxzLl/pQ1Znp6xjMX17ew5qjbjHMtKEsFasYJdkUTGum3Wa/z8bw/S3LAWgKpdD+eo713Jx/UhKsvCtDgfGlIFjb0Fu7mUEPTaeixNGUNpiVASEmI9xneSm5v9rS7fhINdY0w7cJGI/BRwe3XMN8ak/s5CKaWUUn0il1FSHoAAACAASURBVO4J3hIGyP0EtXSdFoLKwyEqSkt8tbLBFdTiQSHwyqer4+NWNiWWAnYFyxi8czMmEfv2r0yEPO8vakj0wM2iG0OxyhhKRIisWUT95HvpWvIJADvvvDPjzriCdyMjqOg/EOobKC8tiQe73pIFV6oyhnxrdktCEm8Xluq26frsigiVpSW0dnX7ssNu0L0xnaCW90cVY0ybMeYj50cDXaWUUmojk233BIBot39MqswuGYLnbFY7g0SGNV7G4FlUIpjZxRga2xNB+MqmzqRVxoKLSgTLGNzJ1gS+rk90Y8imZrfwzG5raytvP3YHKx74CV1LPkFKyznromuYOXMmo3ff3zd3b2/blGUMngA0VbCbS80uQGnIU5cbyOym67PrPaY32P3uQdtyxE5DOHTsYDYWOYfdIlIN/Aw4GhhKIGA2xmxfnKkppZRSqhC5ZHaDAXGuNbtZB7vOyUzebgxuGUOqml3v3COxHurbIgxylhOGVItK+E9Qcy/tMLQfIUkElO6aGdn02S0k2DXG8NRTT3HZZZexdOlSACrHHkjd0T/k1HOOoawssaSwO/eKDMvyQrCMwf7uC5BzrJcNlwhuhUg4cF/Lw6nLGLzH9HZjOHnPEZy854icjr++5ZNjvg84HHgIWEH2de9KKaWU2oByacYQHJNyBTV3ueAUO8w1s+s9bqKMIRDsmuQgfEVTpy/YzZTZxbOoxKiBlTz/k0M58Y43nXG99Nn1BH2laRaY6M3nn3/OxRdfzEsvvQRA/yEjKT/8PKp22M8e29N6zDv33koSylN1Y8izZhfsEsjppDtBzXvMfuWpl0/eWOQT7J4IfNUY81axJ6OUUkqp4okHp9mMDVzOtc9upmB31MDK+AIX7glRIsllDKWB5YINJikIX9nUGV+kARI1u2XhEJHuHl8gbvCXK+yyVX8qS0voiMbigWU2md2yHGt2Ozo6uO222xg/fjxdXV2UlZVxzTXX0DD2Kzw7a118nNudwXuyHqTveuDyBsCpgt1gUNqbYDY33bHSBbsb08loqeTzUaUBqC/2RJRSSim1fqTKxPY2JpZpueAUt88U7O4xKhGczl9jW4nFOy6QqBeOL+SQIrYcUmOzuSuaEyepxXoSC1K4/WD9i0p4gmU3ixoILItdsztp0iTGjRvHjTfeSFdXF8cddxyffPIJN954I2Xllb6xieWCkxebcI/fW82uW4tc7gSeqfry9iZTZtffZzf16mrBJYc3NvkEu78CbhSRqmJPRimllFLFk+VaEnZs4HLGmt0U+23OEOyGQ8mZSl/rsVhwUYnEcdxjjXCW6V3ZlFj62Lt6mrvfdPdZAv/GyxiyWEEtU+bTtXjxYk477TS++tWvsmDBAkaOHMmECRN48cUXGTt2LJC8qEQokNnt8QTgFRn61aZcVCLeBSH3LGumYDdcEop3owhmdvfbto6ycIjdPR9mNkb5BLtXAscDq0TkYxH5wPtT5PkppZRSKk/xbgx5nF2Tqc9urpndcEiY+OOD+dLWtdz29T2Sro92B2p2A8cD2GqAzYqu8LQf64wm2o65day+bgx4s6X+tmbxMoY0c862jCESiTB+/Hh22WUXnn76aUpKSrjqqquYM2cOp59+ui/LGlxUIhTINvd4stBuFjVVzW7KPrtl6cf3prea5AFOnXVNhT+De9XxO/HR9cex24iNO9jNJ+88seizUEoppVTRJYLTbMoY/Jcz9dlNFT1nyuyWhIQvbV3LxB8fHN/mLWPoCtbsevrsuuUGQ/vbMoZ1rYlWZO7JaSEx8eykr2bX02c3XWY3XWo3mzKG119/nYsuuog5c+YAcOihh3LPPfcwbty4lOOD5QUl4p9VorTCsxJZyhXU0md2c207BpkzuwC3nLo7Sxo6GDUw+Uv9fILrDS2fRSVuWB8TUUoppVRx5dJ6LJivTd2NIdVIK1NmN5jRBE/gl6obQ/x4iTDd3Ye3Jtc9Oa1UErfytx4ziQAyGO2mvhiXKdhduXIlV111FQ8//DAAQ4YM4fbbb+fss8/OWC8bjJkT2WZ8cxfJvOyu/wQ1f0Y3n2V6vWUmqRy32/Cc97kxKc76d0oppZTa6GTqi5s0NovMbrqxkEew6/wb7emJ7y/Yesx7rFCKINLtsVsaSlEKkGaeSZndNLw1u26w293dzZ133slOO+3Eww8/jIhw0UUX8dlnn/Hd73631xPDgvch3o0hMF9BMgav7glqpSUS73174PZ17Dt6IN/cf5uMc0glXKQV4jZW+SwqUQJcDnwD2AYo815vjKkrztSUUkopVYhMfXGTxgYup67ZTb8iW281u0Fu3NflWRSiLNh6zNNn192F9664md1wKHUQ66vZJVCz28uiEt6TscrCwttvv82FF17Ihx9+CMB+++3HPffcw7777pvmXicLBrvJNbvJmd2KFGUJbn2yd+Wy2qoynrjwy1nPxevUvUYya3kzOw2ryev2G7t8anavB84Dfg/cDPwG2Bb4f8CNRZuZUkoppQpS7Mxuxm4MnemD3VDKmlC7ze3EAMTP+veurhbM7HoDbTez61k8zD83T7As6QLLXlqPxTqaefHeG7ntlScBqK2t5dZbb+X888+npCS3koHkYNd/2VtG7GZsM5UxFKvl1/cP3o7th1Sz9zYDi7K/jU0+j9K3gfONMc+LyK+BR40x80XkI+BA4M/FnKBSSiml8pRDtBvM1qbqs5tJoZndkCRafHm/1o+fYOZZhMLly+wG+ueCP1gOluz2cn4a4RC0zHyZxjceYGlHMwDnnHMO48ePZ+jQoWnvaybBmt1467FAvbEgfH2fkbR2dXPwmEFJ+3G7ItRWFWflspKQcNTOw4qyr41RPsHucOBj5/dWwO038RxwUzEmpZRSSqnCxVuPZTM2m8xumhPeurpjifrZEokv9OAqSXEClBtjRmLOSWbeSDBx7pons5t8bF/NbjxgTHOf4pndYGCZ7MMPP+SHP7qQ+ulvAzB82x2Z8ND9HHLIISlGZ6+3MgbvdE/fZxSn7zMq5X7227aOCw7fgUPGDC5oPluKfE5QWwps5fw+HzjO+X0/oKsYk1JKKaVU4RLBae6tx1J2Y0gTPLtZXZFEP1yvVJ27gpldb/eDRM2uiR8tVRlDvBtDKLk8wZ1novWY/2SwVItKNDU1cemll7LPPvvw7vS3kbJKBh51Hpff/WTBgS4kl3O4rceyXejCVVoS4mcn7swhYzXYzUY+md2ngaOBd4A7gX+JyA+wJ6v9sYhzU0oppVQBcqrZDYzKnNn1X+f22O1fUUptVSmL6/23S53Z9dfsersfSJaZXTdQDou/t27i9+TWY8GuDSKCMYbHHnuMK664gpUrVwJw+hlnMG3IVwnXDKaivDxp/vkIVnMkLXSR/PlCFUE+fXZ/5vn9cRFZBHwZmGeMebaYk1NKKaVU/nLps5tUxpCiZjfdbpo6ugHoXxlm1MBKPlra5Lu+JEWqMpjZ9ZYxxEenqtl1Lnd1x3h0+mIAasqgRbzZ4MR8g4tKBBdwWLnoc44++oe89tprAIwdO5a7776bY445hu1+PilpboUIPg7BlmyJwHzzbgW2oRV8Gp8x5m3g7SLMRSmllFLrQTYrqAVlXC44cFVrlw12a8pLuf7k3fj/7J15fFTV+f/fZ5JA2FEURS1uKAiKKBUVV1SwRotfbWtdfmrVuhC2KlUUd3GpKwgE6va19QtWu7i0SFWURVFUQFaBAIIossoWICQkmfP7Y7a7nDszdzKTmSTP+/XCu5177jMzgTw+8zmfp/fRB3DfO0ui100+rpF8LlrZtcoYDB3UAg5h68ufrmHu2u20Ksyn76EVvB0qyLo1u9o+Z/S5FXvZPvMvPPHsu9RUV1FYWMi9997LnXfeSdNwJbdJfoB91cGoS0RtcSaxXu2CJdVNL9JUQhAEQRAaKH6SXPcCNdN36maf3d0VoWS3ZWE+B7Uu5JcnHmK7bmoqEWFfdWxhWwSrs0LkSVEZQ/jMik27ALj5zCM4qJlZsxuL2KKD1ZryFbOZ8fi1lH3xT2qqq7jkkktYunQp9913XzTRBWgaruimrbLreB883Rgk200r6TFoEwRBEAQh5/AlY3C1C/ZT2Q1pdluFfV+dlVCjjCGc4FVWRyq7eZZr7mdGEkNnDBHPWZOjQWhc7Mzq1atZOfF+dpZ+GYqrdXtuHv4IE0bc6oovFFMAKtOX7Dpz/oCj2iyV3cwgya4gCIIgNFDiNYFwjU3CesyLXZbKLrgrmMbKbkSzG3ZUaGKq7IJrgZnXojvl0OJGCGrQ1ft4Zcwz/HXCKCoqKiCQz1HnXUlV9/+hxxk9PF9XRFqRLhlDIjeGyKsSzW56kWRXEARBEBoqyWS5kaGO47iVXcf5iGY30tGrwOG+YNTsOp5jSoitTSUCjgVoiVwWImwtncP6t0fzwvYNALQ++iRa9rmFTl27UhqWQngRSXateuLa4PTZ9XSISMvThAi+k12l1M8ArbVeFz7uBVwNLNVav5jm+ARBEARBSJFYZTcZn90krMfQxrG7HZXdQEARULHkzZnkgaG5g22MxVPXaT2GfevsjBaZr7rsJ7ZPe5m1pbMAOKD9wYx9fhTPrz6ADWWVSeljm6Rbs5ugXbBTbyykh1Q+vdeBPgBKqYOBqUAv4DGl1ANpjE0QBEEQhFrgVYk1jnUcp1LZjWh2Idb6FzzaBYe3pmpmbIGaqbJrDziaJIc3NVVVlH31Futfvo3y0lmgArT6+aX8a9oXXHnllQTCVWdra14vIhVdU/yp4EysI9VsZytkUTGkl1SS3eOBr8L7VwBLtNa9gWuA36UaiFLqbqWUVkqNtpwrVEqVKKW2KqV2K6X+pZQ6yHFfR6XUe0qpcqXUZqXU00opkWcIgiAIjZ7YV/7JjLUfm9wYtGsnxC6HjAHsCaJTqwp2xwXrMcQSX63d3rOxXFfbxioUFT8sYeWLg9g+/X/RVRU0PfQ4Thg0gf3Pv5lWrVobX2+8xPKi4w+m4/7N6dGxrfcgH7jcGOx5uqWyK9luOkklKSwg1hb4AuDf4f3lxNoI+0IpdQpwK7DIcWkUcDHwG2AnMA54CzgjfF8e8B6wkVBjiw7Aa0AVMCKVWARBEAShoeBMDJMbHaLG1FTCq7IbljG0KiyInrMmu8lVdq0L1JxLtixOBo4EXinYsWMHX//fn9n01fuhsc1as9+5v6PFCRfQrE0zysoqXYu+kpEMDDrvGAadd0zCccnilC0EHNmuVHYzQyrJ7jfAbUqp94C+wP3h84cAW/1OppRqCUwCbgbus5xvA9wEXK21nhY+dwOwTCl1WriZRT+gK3CB1noTsEApdT/wpFLqIa31vhRenyAIgiA0CGrVQc2PZrfSrtkFu87VtPjMqdnFWNmNPSfgrOxq0MEapr89ibdeeIo9e/YAirYn/YKWZ11LXrPW4fntc5raBdcVzgp31HrM6bNbZxE1DlJJdocDbwN3An/VWi8Mn+9PTN7ghxLgPa31R0qp+yznexKqIn8UOaG1Xq6U+h44nVDXttOBxeFEN8IHwASgGzDf9EClVFPA2ui6FUBVVRVVVVUpvAShPhH5jOWzbhzI5924kM/bTnVNyNZLa53wPamqrrbfGwy67gmGu50FHfOV7Q3Vlprlx957WzXXMJcOyyRqInIJy5w1NdXR50SlGMGa8FShcRtXLWHj/z3G/21cCUCbw46hWZ/baHP4cVRUxSQYwXBWW1NTbYshGH5uMFhTZz8vkdcQjSEcU+S9COrY/0zIz7CbVN8T38mu1nqGUuoAoLXWervl0otAuZ+5lFJXAicDpxguHwzs01rvcJzfFL4WGbPJcB3LGBP3AA86T06fPp3mzZsnCltoIEydOjXbIQh1iHzejQv5vEMsXa+APCoqK5kyZUrcsd+WgTUtqKjY57pn3Y8BIMCePeW2a1t25AGKhXO/ZPvy0Ll9laFzAAsXzIcf7NXgH9eH5tq+fSeg2LZta3TOH3aHYtlbUUHIhlfxzTffAHn8tPFH+vfvz/sffABa07RZC66/9hpKDyviuz35VFfXYK2NVlRWAorPP/uMH1rC3vJQXHvK9wKKZUuXMmX7Nwnfy3SwdFPo84gwc8YM2hXCt9+H3otI7Js2bUz4eTVGyst9pZlRUlrIpbWuAbY7zn3nZ46whdnzQF+tdUUqcdSCJ4DnLMetgHV9+vShXbt2dRyKUNdUVVUxdepU+vbtS0FBQeIbhHqNfN6NC/m87Wz87DveWbuCJk2aUlR0btyxX323Db6ZS15AURPUqPx8iooutI2Z9s/FzP1pA82bN6eo6Kzo+fvmTwOqufC8czjygBYAPFv6Kdu37QWg1897cv5x7W1zzXhrCXO2rKd1m9awZxcHtGtHUVGo9vXN+jKeWfwFhU0LqQhWQTDI8cd349V/j2P+J39h3+5QHaxFtz48+uijHKm2sGVdO77bsxMVCIBFb1xQ0ASqqzjjjDM5/tDWPFv6KVsr99K0sBD2VdKtWzeKTuuY0vvrlz3zfuSN1bHE+oLzz6NDm0KWT13JRz+uicbe4eCDKSrybnbRWCkrK0vpvlR8dudjdjHRQAWwCviL1np6gql6Au2Bry16mTzgbKXUIOBCoIlSqq2junsQoQVphLe9HPMeZLlmRGtdSWyRXVSvU1BQIP84NiLk825cyOfduJDPO0QgEKsiJno/8vJCKUF+ONmtCWrXPVabr8g1rXVUs9u2ZWH0vFWz26RJvmuugAqE71fhWAPRMfn5oVh0+M++Ld/xxMCH2bpwDgBdu3bliF8O4RsOo137DrBlS1QP65QaR6QBBQWhGGKLxELb/Ly8OvtZaVKQ7zgO/Zzm5eWFYw2dz8sLyM+vgVTfk1Ssx94HjgL2ANPDf3YDRwNzCDkifKSUujTBPB8DJwA9LH/mElqsFtmvAs6P3KCU6gx0BGaHT80GTlBKWf93sS9QBixN4bUJgiAIQoMhuqAsmbHhQZEk1eiz6xgLUL6vJnrcqmksGbEvUHOnG7GFYgbrsfB+dWU5W6a+xIZXh1C6cA6qoCnH/vI25s+fT4fjTgYsLg3Y53O+rtjczmYWrtAyhjPWqBmDw4ZNSC+pyBgOAJ7VWo+0ngwvLjtca91PKfUwIZeGd70m0VrvApY45tgDbNVaLwkfvwI8p5TaRiiBHQvMDjsxAHxIKKn9P6XUXYR0uo8CJeHqrSAIgiA0WmJuDEl0UAunspHWvkY3BoO7Q6SqmxdQFBaYHRjiWY/Fji1nNOxZ9inrp79M1a6Q0dOp513Eus5XcOSxR9GkSROXTZezMYNlKvu48HE2WvO6fHYjTSXCxzGXXfFjSCepVHavAP5mOP9G+Brh651TDcrC7cBk4F/AJ4SkCZdHLoa1w5cANYSqvBMJ+exKJzdBEASh0eNsrZvM4EhiqnXMycA5n5VdFbGGElYbL2sHNXO74NDWWWFdsWIFt1x9GT/9+0mqdm0lv20H2v/6If741Ivktz7QEIs9YXTi6pQWHVj3VVSnzZnzfZGeEpkhlcpuBaEGDqsc53uHr0Eoifa96Exrfa7juAIYGP7jdc9aoMjvswRBEAShoePHZzdCvkVyUB3UNLFUI7XFGivCbkP3NIACa2U3z1TZtWtsqysruP/++3nqqafYt28f5BXQ4ewrafrzy9GBguhX/s5qdayya349zmTaWdmtSx1DnuNZeR7BS66bXlJJdscCf1ZK9SSk0YWQddjvgcfDxxcCC2ofniAIgiAItSU5GUMIa2JaHQzSxPIlsKlSHOueZk8prF/ZJ6rslq/6iv+88hJ7ftoAwFl9LuDbY37LwYcdzvbyfWhtbSph1yErx9ZJ0EPukI0GDk41R3iNnlvSIS3U0koqPruPKqXWAIOAa8OnS4Gbtdavh4//TKixgyAIgiAIWaI2C9TAoNs1anZDRv+uyq5lHqNmV0H1zs0smvwKW7/5DIDDDjuM559/nm69L+DC0Z9G3Rgi463P9tLsul+XXcYQrewGs7BALWCu7DpjkFQ3vaTqszuJkGuC1/W9KUckCIIgCEJa8CNfiCTGBZbKbk1N4gmiml1HZddaIXYuzNq3bx+z33qF9W++gK6uhEAex194NbP/Pp6WLVuyYtOucPw6+hpc7YLDW2cS68Rd2Q3fH12gVoftgj00u84YpLCbXlJKdgGUUk0I+eTaFrlprb+vbVCCIAiCIKSRJJLeSPKXF/Cu7MYqxYk1u1btrzXZ/fjjjxk4cCClpaUAtD7qRFr0uZWfn9GTli1bAm53ArAkuw7dsMM214VTrhDTCtd9ZTfPYQsQeYuksptZUmkqcQzwv4QWpNkuEfq5zHPdJAiCIAhCnRNNDJMZG94qQrKD6nBjCft89i1AZXUQgKb59l//+Q7rsfXr1zNs2DDeeOMNAFq0bUfhmb/j2N4XsX5nhU2G4Ky+Qkzv6nwtziTW9bpcPruhbTasx7zcGESzm1lSqez+BagmZPm1gWx4dwiCIAiCkBBfPruWSmdeONmtDgbN81nORSqkTlluRMaggzW89vIEnn/yUXbt2kUgEKC4uJimp13JPxfHGqSa/AisDSKiCaAz4U4yMXQOy0pl18ONQSq7mSWVZLcH0FNrvTzdwQiCIAiCkD78+Oxac8f8gKISdxe1qIzBctq5UCxCQV6AinXL2DZ1PI9uXgNAr169mDBhAieffDL3v7ME2OHS1Fr341V2I7Eoxz3eRBJLe/OJbGp2Ey2uE9JDKsnuUkJd1ARBEARByGF8+exakr+Ixtal2dWOwRasSeNPP/3ERy88zKbp7wDQpu1+PP3Uk9x0000EHK2DY9Vbi4zBdc2k2Q2PdfaK8MA5TsdecJ1hfelKxUlyJfdNK6l0UBsOPKWUOlcp1U4p1dr6J90BCoIgCIKQGqYFZYnGKhXrfuau7Ia3tspu7L5gMMiLL75I586dWRJOdFuc0JdZcxdw88032xJdl3bWVtl1yxgitzpjSLay6xyXDc2utbJrlTS4ZQyS7aaTVCq7H4W3HzvOywI1QRAEQcgh/FR2rcljtLJbY67sasO5TWuW0bv3LXz55ZcAtD/iWNQZN1N42HG0b9/e9bxohdXQ3MHV5Qy3/CCWnJvtu1zPc+hjg0mVu9NLokYbEUTVkF5SSXb7pD0KQRAEQRDSji/NrkW0G3FScFZ2TezZXca2qX/mrwumoINBWrVqxciRI9l6+Lm89sU6wG5DFiGavMYea7kWickgY3DohqO3JVvZxaHZrcPM0rqIzyZpMC7PE9JFKh3UZmYiEEEQBEEQ0oypFOs1NLy1VXYdbgxEE02N1ppJkybx+JDb2bX9JwCuuuoqnnnmGQ455BAen7IsepfThcBKzAfXqtmNyBhi46IL1BwvSanQftKa3Sw6H1iruYF4MgbJdtNKUsmuUqo7sERrHQzve6K1XpSWyARBEARBqBVW54LxM1YxZfEGXr/5NFoXFrjHWrS3XpXdSKK5d/Na+vTpw8yZofpX/v6H8ZshD/D6gzdHx1q/ss/Lc2dvUTmBoW2vSWoQcMgYnAl8Ys2ul6dt/PvSiadm1zFONLvpJdnK7gLgYGBzeN/rf6JEsysIgiAIOYJVs/vu/PWUbtrF4nU7OaOT21TJXNm1Z5T7KsrZPuNVyua8Q2mwhmbNmtHnygEs2f8sjjrxaNvYAkdTCSduOYF3/KbrVs2uxkeC6GH/VRdY/wfAlNx7HQu1I9lk90hgi2VfEARBEIQcJ+bGEKuSei3MsmpYIxrbSGVXa83bb7/NWyMGUL59MwCXXnopo0eP5q2V+/jm45WuZDPf0hvXtBjLWb21yRgMyZ6n9Vice0zPy2YV1RqjLfF1anYl2U0rSSW7Wuu1pn1BEARBEHIXawc1k22YYzTgrux+++23DB48mP/+978A5LU5iEOLinnn9QdCd60oBdwd1PISVnZDBLXjBOZFY7EFati2yfrsxuaOf5xJvNwYJLnNLMlqdvsnO6HW+t+phyMIgiAIQrqwJobRiqjXWIucID9Poav38b9jnuTNl8dRWVlJkyZN6NzvGnYcezGtW7Y03GfP2AosOt2AKdl1VXYt1wzxuRaoOSrCiVwVciGhtCe48QLKgWAbEMnKGN5xHDs1u9a/O6LZFQRBEIQcwKrZjVV2PWQM4a1C8dOyL1j/+nO8tmMDAH379mXcuHE8OmsHn6zYYvfZ9UifI1IIU1UX3L658XxnQ+PtzzNZlsW/32uBWl1aj1kWqNm6qYmMIZMk1UFNax2I/AH6EVqkdhHQNvynCPga+EWmAhUEQRAEwR+2RDSBC5nWUF22hc9fHMHs8XdSvWMD7dofzN///nc++OADjj32WIteVtvuA3eCFqns5nklu+FtjcUFInrNcIurqUTKHdSy52lr89mN68YgpJNUmkqMBm7TWs+ynPtAKVUOvAgcl5bIBEEQBEFIG9q1E6Oqqop//WU8619+Bl1VgQrk0bLnLykZ/SS/6X1sUvM6F1nlhSu7XsluBLOMIXnNbmRo0j67HufrAumglh1SSXaPBnYYzu8EjqhVNIIgCIIgpA9LYhuManbt2e7MmTMpLi5m6dKlABzQ6UR6XXMn31S0pUmz5omm9azs5ieo7EayTpPm1+zGYB9PtCKcXGYY0/aaz9cFtqYSNhmDfZz47KaXpGQMDuYAzymlDoqcCO8/DXyVrsAEQRAEQagd1qQ06LDs2rhxI9deey3nnnsuS5cupc1+7WhXdDvn/3ECB3Q8BoDqGnNTCW1TR7grsxCTMXhqduO0yDUvULOfdZo4JLtALZuJpHWhXtymEpLrppVUkt0bgQ7A90qpVUqpVcD3wKHATekMThAEQRCE1LFqayOdf6uqaxg3bhxdunRh4sSJKKUYMGAAJe/MpOUJ5xMIKO8Oahiqw16V3QQyBldClyjbdTzQWVFOKGPwmLtuO6hZ972dGSTXTS++ZQxa61XhlsF9gS7h08uAhGrhYgAAIABJREFUj7TXEk9BEARBEOocWwVWayrXlzL4yntYtXQxAD179mTChAmccsopvLvgRyBmPQbuDmrmyi7h++wpWiRhTrRALXbs3WQB3O2CnRXlpF0ZEhxnkjybjMFbtlGXDhGNgVQ0u4ST2g/DfwRBEARByEEiiWjN3jK+nTaBzXOmAJq2bdvy+OOPc8stt5CXF3IMjbkbuDuoReczODpowwIziHVQyw+Yv0SO19zBqNkN2J/t1PomlCdEKsBZrOxak1jr/wNIaptZUkp2lVItgHOAjkAT6zWt9Zg0xCUIgiAIQi2pqQmye9GHbJ/xF4J7ywC4oP8VTHppLO3bt7eNjVZKVawaW1UTNI6xqRgMHdAgVh32yHVT1ux6tQtOnOt6JcV1l2p6ujFIJTej+E52lVInAVOA5kALYBtwAFAObAYk2RUEQRCELLNw4UL+9+7fsXX5AgAK2x9BmwtuY9g917kSXScu5wPsx1bNbqT461xAVhCoTWXXJGOIPNu+9W09louaXcc4yX3TSyoL1EYB/wH2A/YCpwGHA/OAP6YvNEEQBEEQ/FJWVsbtt99Oz549+WH5AlSTZuzX50aOGzCewp8d70pgI1jPRxs4eLagsNzn4cbQtnkBAG2aFRjvi6/Z9b7Du11w/Di9tL11mVdadbpiPVZ3pCJj6AHcqrUOKqVqgKZa69VKqbuAvwJvpTVCQRAEQRASorXmzTff5I477mDDhlCb365nXMjO7leR3/oAdCAPCMbtoAahRFc5zkXHGM57+ex2O6Q1z1/Zg+M6tDY/ME6LXHMHtcjztPF8ogTRS9ubtXbBtsqu93sh1J5Ukt0qICLi2UxIt7uMUFOJn6UpLkEQBEEQkmT58uUMHDiQadOmAdCpUydKSkr4bO8h/HX2WiC22Myzshvequh/DM3W4rQcNiWRl/Y41DPmeF/dm5K/aAIe3jo7r9WHyq4twY3TRENy3fSSioxhPnBKeH8m8IhS6hpCbYSXpCswQRAEQRDiU15ezogRI+jevTvTpk2jsLCQRx55hMWLF9OvXz9jp7OgR7YblQWoWLLpruxq21jnfX5wj/e2J1BYkkOH/VnSPrseA+pUs2vJuuK1UZbKbnpJpbI7AmgV3r8XeA2YAKwk1HBCEARBEIQM8+9//5shQ4awdm2ocnvxxRczZswYjjrqqOgYa7IaaxdsxlrZjS0GS8J6zHJfbYgnY7BJK1zPTVazGxmXPcmArV1wHOsx8dlNL6k0lZhr2d8M/CKtEQmCIAiC4MmaNWsYMmQIkydPBqBjx46MGTOG/v37u5Ikk2uCZ/8nq2bXy40B9/mY9Zi/BM2P9ZiyTB+zHnNUlJPUMWQzjbQ1lRAZQ52RiowBpVS+UuoCpdStSqlW4XOHKKVapjc8QRAEQRAAKisrefTRR+natSuTJ0+moKCAu+++m6VLl3LppZcaq4Gmyq4XVleFmIzBWdl1z+HlxpAIPxZgNmlF9LmOMak+tw5TS+uz7dZjkt5mklR8dg8H3ie0MK0pMBXYBQwPH9+WzgAFQRAEobEzdepUBg4cyMqVKwE477zzKCkpoUuXLnHvM2l2E1mPKUXCym7omkYp5enGkIi41mNOqQGGarPP53pqe+swz1RKEVChKnteXB1D3cXUGEilsvs8MJeYz26Et4Hz0xGUIAiCIAjw448/8tvf/pZ+/fqxcuVKDj74YF5//XU++uijhIkueGl2PRaoRfcsiWWc+Zz6Xb/VybhNJVyDrXHatcf+fXa95RN1QaSiG+/1SqU3vaSyQO0soLfWep/jB+Y7wNtjRBAEQRCEpKiqqmLs2LE8+OCD7N69m0AgwODBg3n44Ydp06aNj5li2WmNo82ua6Stsmt2YzDfFxoUx1zASLyk06RhdVZ2nZrd5H1248eRaQLh0q5dsys+u5kklWQ3AOQZzh9GSM4gCIIgCEKKzJo1i+LiYhYvXgzA6aefzvjx4+nRo4fvuUyV2KBXsmvT7EbGOjS7hv1UZQxOVBwNqy0Bdzy/PvnsQux/CqwyBlExZJZUZAwfAn+wHOvwwrSHgSlpiUoQBEEQGhmbN2/mhhtu4KyzzmLx4sW0a9eOl19+mVmzZqWU6Hrh5cZg1Ox6DbLMY+285odEC9Jsx9b01+Wza67Yes+Z3SpqxJHBJtn1sVhP8E8qld1hwAdKqaVAIfA6cAzwE3BVGmMTBEEQhAZPTU0NL730Evfccw87duwA4Oabb+aJJ56gXbt2tZrblNcm9tm1pJbJVHY9Z4yPnxa59gTcrj1OvrJr1vbWtT42EE1241mPSbabTlLx2V2nlDoR+C1wItASeAWYpLXeG/dmQRAEQRCizJ07lwEDBjB3bsjC/qSTTmL8+PGcdtppaZnfmIh6ZruWDmp+Fqil6sYQJ8EzanYdXd20U8eQULNrHlXXVdRAwJDsZrna3NDxlewqpQqAF4CRWutJwKSMRCUIgiAIDZjt27dz77338uc//xmtNa1bt+bRRx9lwIAB5Oen8qWrGXNlN74bQ8jT1ny/9V4vV4RkiZd0upM/t0NENMk23B/3uTmo2XUiuW568aXZ1VpXAb/KUCyCIAiC0KDRWvPaa6/RuXNnJkyYgNaaa665htLSUgYPHpzWRBfMRdyEbgwoy2Iwc7tg6376Krvxr8UScHtM/jW7zgsJbkwzkSQ3XntkIb2kskDtHeB/0h2IIAiCIDRklixZwjnnnMP111/Pli1bOO6445g2bRoTJ07k4IMPzsgzfWl2LaXSSPLldG6IVyn2m6/F++re6LPrquz60+x6PreOs91Ich6vsivZb3pJ5X8hVwIPKKXOAOYBe6wXtdZj0hGYIAiCIDQEdu3axcMPP8zo0aOpqamhefPmPPDAA9x+++00adIko882SRY8K7vhrUkfm+AhofvSaT1m8OB1aXbD16JNGhJpdpNsPpFpYm4M8V+vkD5SSXZvAnYAPcN/rGhAkl1BEASh0aO15p///Ce33347P/74IwCXXXYZo0ePpmPHjnUUhPuU0zs3OtRi5eV0PjBNl/YOah77zpjc8Zrn83petm2+AoY4sr1orqGTihvDkZkIRBAEQRAaCitXrmTQoEF8+OGHABx11FGMHTuWoqKiOo3DqNlNMNaqj3UOtuplowvUHJ3MUiaB76z1lNbalYgn1OxGt9mtokbcGPJslV37GLEeSy+paHYFQRAEQTCwd+9eHnjgAY4//ng+/PBDmjZtyoMPPsiSJUvqPNEFjwYSnpXdWNIaScjiqRicHdn8N5Xw1s4aZQyWc1obFsYleH70flcinQM+u2I9llHSu+xTEARBEBop7733HoMHD2bNmjUAXHjhhYwbN45OnTplLSY/ld0I1spu0LFCzebG4Nj6X6DmOI67XsueDmrc8onkK7vJPzcTRBamBQLxKrtCOpHKriAIgiDUgrVr13LZZZdxySWXsGbNGg499FD++c9/8t///jeriS54uCcksh6zaAZcTSWsPru6djIGPwmecozXWvu2PItpdrMrY4g83tYu2GOMkB4k2RUEQRCEFNi3bx9/+tOfOO6443jnnXfIz8/nzjvvZPny5fzqV7+q86/HTZh9dr2aSsSsvLzcGDJZ2Q04k1CHhtda27W2s0jWeszLj7fOK7sG6zG3Rjn7PzsNCZExCIIgCIJPpk+fTnFxMcuXLwfg7LPPZvz48XTr1i3LkdkxJbYJugXbfHaTcWPAWhH2gavCaqj0aucJy7NdbgxJP9d1Jsk704NJsytklpQqu0qps5RSE5VSs5VSh4bPXauUOjO94QmCIAhC7rBhwwauueYazjvvPJYvX0779u157bXXmDFjRs4luuCzg1p4q1DRr9iT8dmNVoTTLGOwJ8N26zGrF0PMP9c7gFyy+YpodQOO1ydkDt/JrlLqV8AHwF7gJKBp+FIbYET6QhMEQRCE3KC6upoxY8bQpUsXXn/9dZRSDBw4kNLSUq699trc/do5BZ9d8La+0gYdg6Xxmi/cBVZvLa3besze8c3P87Ot2Y38j4RNs5tl79+GTiqV3fuA27TWNwNVlvOfASenJSpBEARByBFmz57NKaecwtChQykrK6NXr17MmTOHcePG0bZt22yHFxdTB7VEKIuMwZkY22QMUZ9dy41+H2Q9jHPZaT1mjSUZzW68Gmpd/4+K0Y3BMUZ8dtNLKsluZ+ATw/mdQG7/rRcEQRCEJPnpp5/4/e9/T+/evVmwYAH77bcfL7zwArNnz6ZnT2cD0dzElxuDbYGax1hrYTfaQc2+UCxZEskJ7L67pspu5FriJ6t4OoY6Rhk0u4n0y0LtSCXZ3QiYvFTOBFbXLhxBEARByC7BYJCXX36Zzp0788orrwBwww03UFpayi233EIgUL+NjLyqvbYFX+FsK+4CNdN9tcBVzVT2ay7NrrYn2XE1u3GeU9d5ZV4y1mN1Fk3jIBU3hpeA55VSNxL6WT9EKXU68AwwMp3BCYIgCEJdMn/+fIqLi/niiy8A6N69O+PHj+eMM87IcmSp4aeyG0FZ0kG39ZjBZ9dynx8S6VTdml2L9Zi2PDcJza7TxizeczNNpKIb33qsLiNq+KSS7P6JUEX4Y6A5IUlDJfCM1npsGmMTBEEQhDph586d3H///ZSUlBAMBmnZsiUjR45k0KBB5OfXX5dOUxXX23rM0i44Wtn1vjdW2Q3tBXwmaIkqrG7NruPZTuuxuJrd3NHHRrS6SsVJdqW2m1Z8/w3WoZ/qx5RSTxOSM7QElmqtd6c7OEEQBEHIJFprXn/9dYYNG8amTZsAuPLKK3n22Wc55JBDshxd7Umtg5rFZ9e5QM2k2U1RxpC4suutadXaYD0WL0HMqcpuaJtnTXadib/kumnFd7KrlPp/wFta63JgafpDEgRBEITMs2zZMoqLi5kxYwYAxx57LCUlJVxwwQXZDSyNGH12vTS70b04MgZru2BqKWNwHidqMuGo7Lqsx5J2Y8huJhl1YxCb3TojFZX9KGCzUup1pVSRUiov3UEJgiAIQqbYs2cPd999N927d2fGjBk0a9aMxx57jEWLFjWoRBfSUdlN5hmpGe0mbO/rGOup2TWMj/es7Fd2E1uPCeklFSFSB+AXwFXA34FypdQ/gEla68/TGZwgCIIgpAutNe+88w5Dhw7lhx9+AKB///48//zzHHHEEdkNLmMYNLteTSWs1mNebgwG0a4z6UyWRF/dOzWttuuGdsHJBpBtfWwy7YJztklJPcV3ZVdrXa21nqy1vgZoD9wOHAFMV0p9m+b4BEEQBKHWrF69mksuuYTLL7+cH374gcMPP5x3332Xd999twEnuumv7BoaqPnyu7WRIOl0Sg/sua62JOdmza59gZu3ZiBrml1LBpbtrm4NnVqZBYZ1ux8A/wVWEkp6k0YpNUAptUgpVRb+M1spdZHleqFSqkQptVUptVsp9S+l1EGOOToqpd5TSpUrpTYrpZ5WStXfpbOCIAhC2qioqOCRRx6ha9euTJkyhYKCAu69916WLl1K//79sx1exjFrduOPVZbUMp6KQde6sus4jqe5VfaEUJsquw4Cjsqw13PqOtmNaXbjOERItptWUkoKlVLNgcuAa4DzgR+AvwG/9jnVOuBuQomyAq4H3lVKnaS1/oaQPvhi4DeEOrSNA94CzgjHkQe8R6jRRW9CEovXCLUxHpHKaxMEQRAaBu+//z6DBg3i229DXzpecMEFjBs3js6dO2c5srrDJFnw1OFarMc82wVbfXaj7YJj9/khYTXTaT1mjYPE7YIDCmoMc2fbeizyuuNbjwnpJBU3hjeAS4ByQprdkVrr2ak8XGv9H8epe5VSA4DTlFLrgJuAq7XW08LPvgFYppQ6TWv9BdAP6ApcoLXeBCxQSt0PPKmUekhrvS+VuARBEIT6y5YtW/jtb3/L22+/DUCHDh0YNWoUV1xxRaPTQqbixmBLLF1uDJZ9x7VaqhgSNJVwdFCzrFCLJo+u+VQ04riJZV1XdiNNJTxlFqLZTTepVHZrgCuAD7TWNYkGJ0u4SvsboAUwG+gJFAAfRcZorZcrpb4HTge+CG8XhxPdCB8AE4BuwHyPZzUFmlpOtQKoqqqiqqoqXS9JyFEin7F81o0D+bwbD1VVVYwePZqRI0dSUVFBXl4egwYN4v7776d169ZUV1dnO8Q6JxgMus7V1NQY/z5U14R+pQe1jt5XEwzaxlorvaHfmfnURMbWBH39PQsGaxzH9vvtC9K07fOrqqqKJu3V1VXR+604m1xE5tZBe5ZeXVVdp/8+tCoMmVi1aBKIPremxv6zGQyaP6PGTqrvSSpNJa5J6UkeKKVOIJTcFgK7gcu01kuVUj2AfVrrHY5bNgEHh/cPDh87r2MZY+Ie4EHnyenTp9O8eXOfr0Cor0ydOjXbIQh1iHzeDZtvvvmGF154ge+//x6A4447jltvvZUjjjiCWbNmZTm67LF5cwDn8pwVK1YxpWKFa+yq70Nj1373HWVNNZDHuh9/ZMqUH6JjKvbmEamhTps+nf2bwpYtofsWLVxAwY/GGpORhVsUEHMvXb5sGVN2xuz7q6piz9qzZw9TpkwhkrZM/ehjaoKh659+8iltm8Lq1d/a5gvW1ETvr6muCt8Pa9fa35NPP/2ElXX4q/94DYGjFPywgCnrFwCwYqf9vfjmm2+YsnVJ3QVVTygvL0/pvqSSXaXUEOBFrXVFeN8TrfUYnzGUAj2ANoQ0v39VSp3jcw6/PAE8ZzluBazr06cP7dq1y/CjhWxTVVXF1KlT6du3LwUFBdkOR8gw8nk3bDZt2sTdd9/NpEmTADjggAO46qqrePzxx2natGmCuxs+/9gyD3ZutZ07ulMnii7o5Bq7bOpKpv64hiOPPIJD2zbj3bWlHHLIIRQVdY+OeXzJTHZWVQLQp08fDm3bjL9tnMPKsu2c1KMHRd07JB1b1YL1TFwVS+i6du1KUe/Do8cPLZxOebhq27JlS4qKzuAPX3yI1nD++efz0PxPQGvOOedsFn7xCZ2OPhrWfRe9v6Agn32VNeH9AoqKLgRgzuRlzNoUS+DPPvtsOrVvmXTcmWD/1dsoWTo3enx8t24UndoxixHlJmVlZSndl2xl93ZgElAR3vdCA76S3bCudlX4cJ5S6hRgKPAm0EQp1dZR3T2I0II0wttejikPslzzemYlUBk5jmhjCgoK5JdhI0I+78aFfN4Ni5qaGl544QVGjBjBzp07UUpxyy238PDDD/PFF1/QtGlT+bwxaz8DgYDxvVGBULUzL5BHXl5e5KRtrFUAkJeXH7oWfkZ+fr6v9zw/356C5OXl2e63xh4IKAoKCoiocPPz86ML4yL3RGOO3ONoNxwdF7BXunPh3wbXe+HzvWwspPqeJJXsaq2PNO1niAAhPe08Qq4K5wP/AlBKdQY6EpI9EN7eq5Rqr7XeHD7XFyhDWhkLgiA0SL766iuKi4uZN28eACeffDITJkygV69eonN0YPTZ9VqgZvXZjZ5zuDEkuM8PiRwITA4KSinQ2sONIY7Prm0/uz67JsSNIbP49tlVSj0Qth5znm+mlHrA51xPKKXOVkodoZQ6QSn1BHAuoW5sO4FXgOeUUn2UUj2BV4HZYScGgA8JJbX/p5Q6USl1IfAoUBKu3gqCIAgNhG3btnHbbbdx2mmnMW/ePNq0aUNJSQlfffUVvXo5v+QTwJzYejaVsHVQi5zzvtfts1u7FC2eS0JkP5aEu5Ns59MDzhVqXs/1FWVmEJ/dzJJKU4kHAZO4pTmGRV8JaE/IF7cU+Bg4BbhQax1ZSXI7MJlQZfcTQtKEyyM3h90gLiHkEDEbmBiez1fSLQiCIOQuwWCQV199lc6dO/PCCy+gtea6666jtLSU4uJi19fXQgxzZddrcGhjrey6B7t9dkm5spuoa5i16ULEm9bxbKyVXfvdXk0b4rUlzhXq2vu3oZOK9VjMuM7OicA2PxNprW9KcL0CGBj+4zVmLVDk57mCIAhC/WDRokUUFxfz2WefAaFFTOPHj+ecczK9jrlh4KtdcHirlIpWRZ2VYXNlN1YR9oPZF9d67N5X4RTE9hq8fHY95o7Xljhb5KK0oiGRdLKrlNpOrGnJCqWUTadOqNr75/SGJwiCIDRGysrKeOihhxgzZgw1NTW0aNGChx56iKFDh8rCnVrirdm1yBii55z3uvfTptlNRrdq6OzmrdlNtrKbMNSMI5rdzOKnsvsHQu///xKSK+y0XNsHfJdqJzVBEARBgFDC9fe//53bb7+dDRs2APDrX/+aUaNGcdhhh2U5uvqHL82urYVaKN2K2y44vO9OO5MjUYXVtKjMlIR7JasBZR7jrgBnP7UUzW5mSTrZ1Vr/FUAptQb4XGstS14FQRCEtFFaWsqgQYP46KNQ48xOnToxbtw4LrzwwixHVn8xyxgStQtWPiu7kZa8/mJzjXdpeN2VWWWs7Nr1vObpcqddsAl3ZTcHgmpApNJBbWZkXylVCDRxXE/N8VcQBEFolJSXl/P444/z1FNPUVVVRdOmTRkxYgR33XUXhYWF2Q6vXhPPKszrvFLebgzxnlFrza7z2FOzCzWWlr/Ra/EWqMWxHssNRMeQSXwnu2HbsaeAKwBTuzFZFisIgiAkxX/+8x8GDx7M2rVrASgqKmLMmDEcffTRWY6sgeDDjcFmPRbOtlyVXcMCtUjeGfCZRKai2Y1VduOPc8Zj0+wmG2AdkpP5dwMiFeuxp4HzgAGEupD9npCGdz1wXfpCEwRBEBoq3333Hf3796d///6sXbuWn/3sZ7z11ltMnjxZEt00kopmVymr3tVbsxu9lqKMwUm8r+7dPruGyq5TA+yh2XUVUXMg0UxU5RZqRyrJ7i+BYq31v4Bq4FOt9aPACOCadAYnCIIgNCwqKyt57LHH6Nq1K//5z3/Iz89n+PDhLFu2jMsuuyxHv2Kuv/jpoGYlKmOIp9l1NpXw/dHFt9sy2YVFzgVtcZk1uwHD/c5953OyRTwnCaH2pOKzuz+wOrxfFj4GmAVMSEdQgiAIQsPjo48+YuDAgaxYsQKAc889l5KSErp27ZrlyBoufjS7EZRliZrTjcE6oct6zK8bgw+ZqrOyGzRWdu14NVDLRZsvqexmllQqu6uBI8P7ywlpdyFU8d2RjqAEQRCEhsP69eu58sor6du3LytWrOCggw5i0qRJTJs2TRLdDOPlvBBvrLIY7braBdvGR85Fs11fJLLbMtqF+fDZ9VygluC52SAXHSIaEqkku68S6pYG8CdgoFKqAhhFSM8rCIIgCFRXVzNq1Ci6dOnCm2++SSAQYPDgwZSWlnL11VfLV7V1gCnVdVVrHWMtua5hgZq7XbBOLddN+NW9XWfr32fXK8GtDzZf8lcjvaRiPTbKsv+RUqoL0BNYpbVelM7gBEEQhPrJZ599RnFxMYsWhX4tnHrqqUyYMIGTTjopy5E1Lny1C7aIbyNV0aQqu9GFbT5lDAmPTT67bnmFt8+uMu8n0ApnA3eDjRwIqgHhq7KrlCpQSn2slDomck5rvVZr/ZYkuoIgCMKWLVu48cYbOfPMM1m0aBH7778/L730Ep9//rkkulnAqNn1ahdstR6LLlBLLINI2Wc3TnLqvO700g0aKrv1WrMrMoaM4ivZDXdN656hWARBEIR6SjAY5IUXXqBz5868+uqrAPz+97+ntLSU3//+9wQCqajmhFpjSFZ9NZVIwmc3XR3U4lV6lWObTs1uTmS7QkZJ5V+ficBN6Q5EEARBqJ/MmzeP008/ndtuu43t27fTo0cPPv/8c1566SUOOOCAbIfXqDFXduOPtboxOKvA1mPnNd9uDH6sxyKa3Yi8wiDadS88Mye78doSZwup5GaWVKzH8oEblVIXAPOAPdaLWus70hGYIAiCkNvs2LGD++67j/Hjx6O1pnXr1owcOZLi4mLy81P59SKkm1Q0u34ru5Eqq5dswJMEX93Hr+warrl8dq1j3Ppfr+dmg1z0/m1IpPKv0fHA1+H9Yx3Xkvc4EQRBEOolWmsmTpzIH//4RzZv3gzA1VdfzTPPPEOHDh2yHJ1gxazPjV/btaZZ8ZpKuMbU1nrMlf1adp2aXUu2663Z9ZAx5GAemYs64oZEKm4MfTIRiCAIgpD7fPPNNxQXF/PJJ58A0KVLF0pKSjjvvPOyHJlgwlTFDQbjjw21CzbLGDBpdsPH/ptKJJAx2PbttV1rZTfgzIQN85nncl/LFrJALbOkvGJAKdVJKXWhUqpZ+Fg+GkEQhAbK7t27ufPOO+nRoweffPIJzZs354knnmDhwoWS6OYwftoFWy3EvNsFm3x2U1uglgjlla1i1+w6JQ4et1jmjfOcLCHWY5nFd2VXKdUO+DvQh9D/0B1DqKvaK0qp7VrrYekNURAEQcgWWmveeust/vCHP7Bu3ToA/ud//ofRo0dz+OGHZzk6IRF+2gVbE9noArVk3Bii9/gj3oIy53WnLtdkPeaa39NnN34c2UAqu5kllcruKKAK6AiUW86/CfwiHUEJgiAI2WfVqlVcdNFF/PrXv2bdunUceeSRTJ48mbffflsS3XqMp2LXtEAtmaU4qTaVSGQ9ZtLsho9t1mNRpwb7/fYFasnHkQvkYEj1mlQWqPUDLtRar3P8YK8E5F8/QRCEes7evXv505/+xJNPPkllZSVNmjRh+PDh3HPPPTRr1izb4Qk+MDWF8K7shlCWL9HjLVDTjq1vn91E1mM2BwV7Qmt6Cc75Ah4yiFxsF5yLDhENiVSS3RbYK7oR9gcqaxeOIAiCkE2mTJnC4MGDWb16NQD9+vVj3LhxHHPMMQnuFOoLiTW7Fj9b1xjt2o9qdn3G4SfpjFV2IwvU3Dphd2XXLF1wVaBzILF0J7c5EFQDIhUZw6fAdZZjrZQKAHcB09MSlSAIglCnfP/991x++eVcfPHFrF69mkMPPZR//OMfvP/++5Lo1mOMVdwEml2F1Wc0WVPsAAAgAElEQVTX2VTCvZ96ZddxHEe36jRcMCXY8WUQiRPp7JITQTRYUqns3gV8rJT6OdAEeAroRqiye0YaYxMEQRAyzL59+xg1ahSPPPII5eXl5OXl8Yc//IEHH3yQVq1aZTs8oZaYqrieKlxrZTd8KuiUMRjbBUfO1C7bjaurjcgYInEFI7GavXQhXmU3+efWFbJALbOk4rO7RCl1LDAI2AW0BN4CSrTWG9IcnyAIgpAhZsyYQXFxMcuWLQPgrLPOoqSkhBNOOCHLkQnpwuiz6yHatWl2PWQMpjuiFeF0a3YNiWzkXNAonXBodi3fXdvlu87nZj+zzEWHiIZEKtZjHYEftNaPma5prb9PS2SCIAhCRti4cSN//OMfmTRpEgAHHnggzzzzDNdee21O/OIX0ocv6zGLDlYZBrskDZF2weEqa8Dnz04inWq82YKWKrTXfKYFbuZx2cfdYCMXomo4pKLZXQMc6DwZ9t9dU+uIBEEQhIxQXV3N2LFj6dy5M5MmTUIpRXFxMaWlpVx33XXyC7YBYnRj8Bpr2Te5HiRqHVx7n13vY6e9WEyzG8c/1yMRzkXnA6nsZpZUNLsK89+VlkBF7cIRBEEQMsEXX3zBgAEDWLBgAQCnnHIK48eP5+c//3mWIxMyibmym7iDWrRdsFWj6zE+1Q5q8ZpIOOdTjnNB7bhgeL5XpTkXklsnotnNLEknu0qp58K7GhiplLLaj+UBpwIL0hibIAiCUEu2bt3K3XffzcsvvwxA27ZteeKJJ7j55pvJy8vLcnRCxjG2C44/VEX/k1xTCavW1w+J2vaapAcu6zGP8WBvKuE1r+k4GyTSLwu1w09l96TwVgEnAPss1/YBC4Fn0hSXIAiCUAuCwSCvvvoqw4cPZ+vWrQD87ne/48knn6R9+/ZZjk6oK4ypqg/NbkSPa73uPNYG/Wwq+Kvs+vTZjePakAuJZS42umhIJJ3saq37ACilXgWGaq3LMhaVIAiCkDILFiyguLiY2bNnA3DCCScwfvx4zjzzzCxHJtQ1Zs1uIjeGWHJo8tV1HifVUthAQs2u7ZrdeiyaYMfV7Hpfy3nqXcC5je8FalrrGyTRFQRByD127tzJ0KFD6dmzJ7Nnz6Zly5Y899xzzJs3TxLdRoofNwYsmt1YUml1YzDPk2plN2GF1ZCsuqzH4hjoBjyqvm7ng2QjFuorSVV2lVJvAb/TWpeF9z3RWl+elsgEQRCEpNBa88Ybb3DHHXewceNGAK644gqee+45Dj300CxHJ2QTfz67sQTStLjLWcGNHKeq2XVbjSW2HovKK7R7TMpuDDlQRs1FO7SGRLIyhp3Efp53ZigWQRAEwSfLli1j4MCBTJ8e6tZ+zDHHUFJSQt++fbMcmZALGDuoeWp2Q9uQjME91nVfmiu7ro5qpmTVpdn1fmjSPrs5kFmKz25mSSrZ1VrfYNoXBEEQssOePXt49NFHefbZZ6mqqqKwsJB7772XO++8k6ZNm2Y7PCFHMCW2yShsYxVU79Hasee/g5qfY6dm1+DG4Fyg5tlBLf5zs0EuxtSQSMVnVxAEQcgSWmveffddhg4dyvffhxpWXnLJJYwZM4Yjjzwyy9EJuYYx2U1Q2bXaMcRtKuGs7Pq2HotfzYzfLjhywTI+zvymxW5ex9kgF6vNDQlJdgVBEOoJq1evZsiQIbz33nsAHH744YwZM4b+/ftnOTKhfpFAs0sscfVqQGElUv318rX1wk8106FiMPvsuhaomUW7uaiPzUXv34ZEKu2CBUEQhDqkoqKCkSNH0q1bN9577z0KCgoYMWIES5culURX8E1Cza6yaHat1xMtUEuzG4NJouDsoBbPXsy7qUT852YDqexmFqnsCoIg5DAffvghAwcOZNWqVQCcf/75jBs3ji5dumQ5MqE+YPbZ9Rgb3ipi7YKtgxPJGPzWSBNVM+06W2XbmloUx20q4TVxjiCa3cwilV1BEIQcZN26dVxxxRVceOGFrFq1ig4dOvC3v/2NqVOnSqIrJI3ZZ9dDxpCwsmue25R4JkPiyq5JsxvaBoNuGUO8+eMuUMuF5Fey3YyScmVXKdUCuALoBGwA/qa13pquwARBEBojVVVVjBkzhgcffJA9e/YQCAQYMmQIDz/8MK1bt852eEI9w+yz6zkaiGh2I2OtTSU82gWHj2ubn7nuj1O1NcoYnAvPPLqr5UJu60Q0upkl6WRXKbUUOFNrvU0p9TPgE2A/YAVwNHC/Uuo0rfWazIQqCILQsPn0008pLi5myZIlAPTu3Zvx48dz4oknZjkyob5i9Nn1Gmuq7FplDF7zGBLPlIin2Y3IGJwd1Lxvd3RQS85zN1eQ5De9+JExdCGWHD8BrAcO11r3Ag4HFgGPpTc8QRCEhs/mzZu5/vrrOfvss1myZAnt2rXjlVde4dNPP5VEV6gVZusxLzeGEMpS27Umy55NJaL3+SOebMF1Xdk2xkYWyWp240kasoUsUMssqWp2Twce0lrvBNBa7wYeBKT5uiAIQpLU1NQwYcIEOnfuzGuvvYZSiltuuYXS0lJuvPFGAgFZViHUjmQaSETHWlqoBQyVXedkUTeGVDW7jlTT6Z5gkiHE3BjcKbZrviSaSuSEXheR7GYav5rdyE9XISGdrpUfgQNrHZEgCEIjYM6cORQXFzN37lwATjrpJCZMmMCpp56a5ciEhoSvphLhrSKWBNplDE7NrvM+n24MrmpmHDcGpWzngklUdpORLuRKUpmLjS4aEn7LBh8rpb4GWgOdHdcOB2SBmiAIQhy2b9/OgAEDOPXUU5k7dy5t2rRh3LhxzJkzRxJdIQOYNLuJ3BiURS6QuDZskhQkQ0I3BkNSGonMr2bXK6vNlZwyF71/GxJ+KrsPO453O45/CXxau3AEQRAaJlpr/vrXv3LXXXexZcsWAP7f//t/PP300xx88MFZjk5oqKRe2bWfM90XOQ6mScbg/irf23rMKJ1IoAE2zpsjtd1c7OrWkEg62dVaO5Nd5/U7ax+OIAhCw2Px4sUUFxcza9YsALp27UpJSQnnnntudgMTGjymvDbotUDNkkDGmjd4z6UdW79fvadW2Q0RlTHYEuI4MgjbBY/9LBJ3cZ5Qa2T1gyAIQobYtWsXw4YN46STTmLWrFk0b96cJ598kvnz50uiK9QJxg5qCZQJ9qYSiX12o9ZjPmNzj/eeQTlKu4mqyaGE3X5sekrO5JSuQHImsgZB2toFK6WOBl7SWp+XrjkFQRDqI1pr/vGPf3D77bezfv16AH71q18xatQofvazn2U5OqExYeyg5jXWUi3147MbSYjTr9k1uDGEt0FDgu3WvXotUMs9n91ciaOhkrZkF2gJnJPG+QRBEOodK1asYNCgQUydOhWAo48+mrFjx3LRRRdlOTKhMWKs4npqdg0yhjhzRQu7BklBciTS7LoP3Jrd5FwWctGBwYosUMssfjqoDUkw5NBaxiIIglBvKS8v54knnuCpp55i3759NG3alHvuuYfhw4dTWFiY7fCERopRxpDAjQHcSaX5Pke74FpXduNpbsPWY+Fjk+7Y6Z/rZUtmmjfbuFsdC+nET2V3NCFv3X0e15vUPhxBEIT6x+TJkxk8eDDfffcdAL/4xS8YN24cRx99dHYDExo9xsKuV2XXaj1mkDG4mkpEK7tuG7Bk8NNIISbZjWh27eet18xze1SAczSrFJ/d9OIn2V0LDNda/910USnVA5iXlqgEQRDqAWvXrmXo0KG8++67ABx22GE8//zzXHbZZfLLSsgNTNZjnkNjSatJxpDwEb4ru/EdCEx6XGdl17szWpwE19CZLdv4SfwF//hxY5gH9IxzXSOfjyAIjYDKykoef/xxjjvuON59913y8/O56667WLZsGZdffrkkukLOYK7sJmoqYW0XbJUxmOdOXbNrx22/5e2zGwxq9z2OhDaeU4PpGdkk0WI9oXb4qew+ADSPc30pcGTtwhEEQchtPv74YwYOHEhpaSkA55xzDiUlJXTr1i3LkQmCG1NiG/SSMYS3NjcG21zOue3H/ptKxL/fXtlVtq1RxuBIfJ0a3mRiyBbuBhu5ElnDwE9TiaUJrlcRkjoIgiA0ONavX8+wYcN44403ADjooIN49tlnufrqq3OmOiQIyeApTbAlkOGkMmit7Dp8dtG2ZNq3ZjfBDUZtbaSya2oXnGR1VHlpH7KIVHYzizSVEARBiEN1dTXPP/88Xbp04Y033iAQCDBo0CCWL1/ONddcI4mukNMYE1svGYNVs5tkZddaJQ747aCWsGuYQcbgiMVrUZpKcM20LzRc0umzKwiC0KD4/PPPKS4uZuHChQD06tWLCRMmcPLJJ2c5MkFIDlNem7CphFUCkKCphK2yW1vrsbjJr7KdS1TZjdtBrR5odoX0IpVdQRAEBz/99BM33XQTZ5xxBgsXLmS//fbjxRdfZPbs2ZLoCvUKk6eup/VYdE9Fq7T2yq67XbD1TK0XqMXT7EYruxHNrruFmt1lQTmueYzLkSQzcZVbqA1S2RUEQQgTDAZ5+eWXueeee9i2bRsAN954I3/605848MADsxydIPjHXNn1cmOwdFAzuTGY5rJnu75I3C7Y+x5ju2BXZdea1HrZkOUGiarcQu3wVdlVShUopT5WSh2TqYAEQRCywddff03v3r259dZb2bZtG927d+ezzz7jlVdekURXqLf4aiph2U/WZ9eaOPuXMcR3IDD54cZrF2y/N44Hr78w64REzhRC7fCV7IYdF7pnKBZBEIQ6Z8eOHQwePJhTTjmFL7/8klatWjF69GjmzZtH7969sx2eINSORNVYA9ZE0dSW1zqPrcWwz9ASWo8ZdLZRGUMw/jOVUnGrvtZxuUiOhlVvSUWzOxG4Kd2BCIIg1CVaayZOnEiXLl0YN24cwWCQq666iuXLlzN06FDy80XlJdR/TJIFrwTW5HBgHepyY3DM7TdxjKfRdV6P+uw6F6h5JbGu+c213VzJKRNVuYXakcq/5vnAjUqpCwh1Vdtjvai1viMdgQmCIGSKpUuXUlxczMyZMwHo3LkzJSUlnH/++VmOTBDSS6Iqrm1seOtpPeb02a11ZTf+oqx4C8kiml2r3VlcGYRnZddHwBlEZAyZJZXK7vHA18Au4FjgJMufHn4mUkrdo5Sao5TapZTarJR6RynV2TGmUClVopTaqpTarZT6l1LqIMeYjkqp95RS5eF5nlZKSVlGEAQbu3fvZvjw4Zx44onMnDmTZs2a8fjjj7Nw4UJJdIUGiR/NLpZqacCQ7Zp8dmun2XWd8TyMaXbDWmLDi1CO4m1ymt3cyCoTVbmF2uE7IdRa90nj888BSoA54VgeBz5USnXVWkcqxqOAi4HfADuBccBbwBkASqk84D1gI9Ab6AC8BlQBI9IYqyAI9RStNW+//TbDhg1j3bp1AFx66aWMHj2aI444IrvBCUIGMSWFnm4M4a3NjcEy1uyzGzvOrPWYsp0LGhaoORPaeHper2dmC5eMIUfiaiikXP1USnUCjgY+0VrvVUopbfpbFQet9S8cc/4O2Az0BD5RSrUhpA++Wms9LTzmBmCZUuo0rfUXQD+gK3CB1noTsEApdT/wpFLqIa31vlRfoyAI9Z9vv/2WkSNH8vXXXwNwxBFHMHbsWC655JIsRyYImceXG0PUzkvF3BhslV23z65V/+u7spvo2DBhfOsxh9VYEnZjuZtT5m5k9RHfya5Sqh3wd6APob9HxwCrgVeUUtu11sNqEU+b8HZbeNsTKAA+igzQWi9XSn0PnA58Ed4uDie6ET4AJgDdgPmG19AUaGo51QqgqqqKqqqqWoQv1Acin7F81g2biooKnnrqKZ5++mkqKytp0qQJw4YNY/jw4TRv3lw+/waK/P22Y0psg1ob35+gDlkc1NRUU11d5RpbVVVtG19dU2Obp7q6miqCScdWXW2fr6am2jZfMBibS+sgVVVV0YS7piZyLRZfjWU+BehgjeV+yzjLeUXu/KwoFfu8qqurcyauXCLV9ySVyu4oQhKBjsAyy/k3geeAlJJdpVQAGA18prVeEj59MLBPa73DMXxT+FpkzCbDdSxjnNwDPOg8OX36dJo3b+43dKGeMnXq1GyHIGSIefPm8dJLL7Fx40YATjzxRG655RYOPfRQZsyYkd3ghDpB/n5HcP+a3717N1OmTHGd37kzD1DMnTOX9S00kI/WOjp20177fIsWLYJ1Onrug/ffJ9/HSqCyffb5Zs6YydJmsesb1geILC367rvvmDJlNVs2h879uGE9EKCsrCz6Wc+Z81V0vqqqfaxcuSp6/6aNG6Ov45vtCsgDoKKywvheZAUdev8BPvlkJqXN4g9vjJSXl6d0XyrJbj/gQq31OsdXDCuBw1OKIkQJocVvZ9ZijmR5glBiHqEVsK5Pnz60a9euDh4vZJOqqiqmTp1K3759KSgoyHY4Qhr54YcfGDZsGO+88w4AhxxyCE8++SQtW7akX79+8nk3AuTvdwytNUNnu5P+5s1bUFTk/lX75zWzYc8uevU6heM6tOKBeTPRKIqKigD4dsseHl/wWXT8CSd0p2/X9twzZzoAF130Cwryks92t+6u5P55M6PH5/Y5l8P3jxWcPtqziK+3hv6H9agjj6Toos68s+1rlu74iYMOOhi2bqZtmzb07duTqVOn0qtXL1gSkis1adKEY4/pyPvrvgWgQ4cOFBWdGHr9K7bw4vLQl77NCgspKjon6ZgzyR1fTqUmrM8495xzOPKAFlmOKPcoKytL6b5Ukt0WgCm13h+oTCUIpdQ44BLgbK31OsuljUATpVRbR3X3oPC1yJhejikPslxzobWutMYaSdoLCgoa/T+OjQn5vBsOVVVVjB49mocffpg9e/aQl5fH0KFDeeihhygsLGTKlCnyeTcy5POGYNBDnKuU+b0J/y7Mz8+3XY/s5+fn2Ybn5QVsftRNCgrI95HsFhTYJQ9N8u2fWV4gYNsvKCiInQvHGgjEXov1XqUUeXl5rvsB8vNiMQe83ossYC0fys+vmVTfk1Ssxz4FrrMc67AE4S5gup+JVIhxwGXAeVrrNY4h8whJJs633NOZkIRidvjUbOAEpVR7y319gTJgqZ94BEGof8ycOZMePXpw1113sWfPHs4880zmz5/Ps88+S6tWrbIdniBkDW+HMa+mEjHrMWU4b7Qes7ox+G4qkcBn17jALNxBzbRAzbHvtCIz7edSBzWvRXRC7UmlsnsX8LFS6udAE+ApQgvB9idsB+aDEuBq4FJgl1IqorHdqbXeq7XeqZR6BXhOKbWNUAI7FpgddmIA+JBQUvt/Sqm7COl0HwVKwhVcQRAaIBs3buTOO+9k4sSJABx44IE8/fTTXHfddTn1C0wQsoVnUpvgPoWy/R0KashTHtZjtvv8kWi80XosYokWa/dmGYNtP4lcN2eRf8LSi+/Kbnjx2LHALOBdQrKGt4CTtNbf+pxuACEHhhnABsuf31rG3A5MBv4FfEJImnC5JZ4aQhKIGkJV3omEfHYf8BmLIAj1gJqaGsaNG0eXLl2YOHEiSikGDBhAaWkp119/vSS6ghAmQe8Iz/P+Krvpayrhut/UVCK8NVd2HUceFdxc/TfC1vGtXqTk9YdUrMc6Aj9orR8zXdNaf5/sXFrrhJ+m1roCGBj+4zVmLVCU7HMFQaiffPnllxQXF0c9c3v27MmECRM45ZRTshyZINQfvJtKhGUM2BNP7bhuHW+r7PqVMbjaBXu3+43sxnx2te3YtB+v4YTpnqzj8VqE2pOKZncNcKDzZNh/16m5FQRBqDVbt27l1ltv5fTTT+frr7+mbdu2jB8/ni+//FISXUHwIFEF1/O8I1GMnE+k2fWNI6ELxKn0RhLfyNZU2Y0ztfe8OZRU5lAoDY5UNLsK87cjLYGK2oUjCIIQIxgM8pe//IW77rqLrVu3AnD99dfz1FNP0b59+wR3C0LjxrOC65XshrfKIQGIzONKdi3XUkka3e2BnZVd91inZtermuxooGZMnE3PzCa5lHg3NJJOdpVSEV9aDYxUSlntx/KAU4EFaYxNEIRGzMKFCykuLubzzz8HoFu3bowfP56zzz47y5EJQv3Au4Lr140h8TMCacjU4ml4leNcVMbgOV45klqPcTmUYNrizaG4GgJ+KrsnhbcKOAHYZ7m2D1gIPJOmuARBaKSUlZXxwAMPMHbsWILBIC1btuShhx5iyJAh4jspCGnAc+FaeBvS7BpkDM47tY4takshjjjr0cLH7uQvKmMI2s87x7uuJaHfzTZe8Qq1J6lkVynVHbhAa12jlHoVGKK13pXZ0ARBaExorXnzzTe544472LBhAwC/+c1veO655zjssMOyHJ0g1D/8anYjuaxS9rQxczIGl47Bcd16SdnGxCq7/q3HctZn12NfqD3JVnbnE/Kv3QKcQ8hfVxAEIS0sX76cgQMHMm3aNAA6depESUkJ/fr1y3JkglB/SeS64D4fQim7LCFe0hyr7PpPz+JVciNxOPcjp6yL6UzzOR0lMCXOhhiyibmJhpAOknVj2AEcFd4/wsd9giAInpSXlzNixAi6d+/OtGnTKCws5JFHHmHx4sWS6ApCLfHvxpDAesylYrCkzelYoOaaw52URhLChJpd5dTseiSSOZRU2sPKocAaAMlWdv8FzFRKbSD0cz9XKVVjGqi1Psp0XhAEwcq///1vhgwZwtq1awG4+OKLGTNmDEcdJf+ECEI6SKTN9TrvTDqjTSVcPrv2BNkv8dwX3IOVbYzRZzeJyrDzOTmVUubowrmGQFLJrtb6FqXUW0AnYAzwEiCaXUEQfLNmzRqGDBnC5MmTAejYsSNjxoyhf//+OaWfE4T6jrfrgtf4yJ7deiziaRvPZzct1mPOphJx3RiikboHmeb2eE6u/puTm1HVX5J2Y9Bavw+glOoJPC8L1ARB8ENlZSVPP/00jz32GBUVFRQUFDBs2DDuu+8+WrRoke3wBKHB4e0YlqCDmnIkkdq2Mc6Sjq/d47kzuDW7psqufbyXBjZH81vPRXRC7fHdVEJrfUMmAhEEoeEydepUBg4cyMqVKwE477zzKCkpoUuXLlmOTBAaLl4V3GCCyq5bsxtxY3DIGKzWYxnQ7Bo7qP3/9u47zor6+v/46ywg9hoVe5diw4IGe9dYiC3WGBOjRhYQKyr6i8YYKyIiJZYkpmgssX1VbFhBEcUKUhQLKsUCSJG27H5+f8y9e+fOnZm9bbmzd99PH/u49858ZuazDODh7JnzaazZDRmT5ySSWsaQ1CxzNShmBTXMbA/gZGBzAp0ZnHMnlGFeIlIFpk+fzsUXX8zDDz8MQIcOHRg4cCCnnnqq/mIXaW4FLyrhvZpZXt0YvEuUs2Y3+nMwsxvaeixwbNQDX0nN8sbVH0tpCu6qYGanAm8CnYHjgXbADsDBwLyyzk5EWqS6ujoGDhxIp06dePjhh6mpqaFv375MnjyZ0047TYGuyArQVIuxKEZ24OgCr1nn8gXIhco5pMnuDJkx4Znd7PfRQW14l4ZKi+osIaUrJrPbH7jIOTfUzBYAfYEvgLuAmeWcnIi0PKNHj6a2tpbx48cD0L17d4YNG0bXrl0rPDOR1qXgRSV8ssoY0t0YQh5QC+uKkK+cWDfuobLGV8uaU9TxwYA9LihOiqhV3qR0xfTL3QZ4JvV+GbCa837X3Q6cV66JiUjL8t133/G73/2O/fbbj/Hjx7Peeutx7733Mnr0aAW6IhUQ2WIssozB94CaL/DK1PgGW49lcsflCM5yg9+QMobGzK7LHZNVqmCBbHPyA8mojhFSumKC3bnAGqn304EdU+/XBlYtx6REpOWor6/nr3/9Kx07duS+++4D4Nxzz2XKlCn8/ve/p6ZGa9CIVEJkUBs1PvUa/NF+5HLBrtQyhmCrsehzpPdlanbJ+hz8EHzILupBtiQFlVGdJaR0xZQxvA4cBowHHgHuMLODU9teKuPcRCThxo0bR8+ePRk3bhwAu+66K8OGDePnP/95hWcmIpHVCk11Y0hFWjWWCipjW4+VsYwh+DnmnE2WT1h014WkdmPIyj4na2ItXjHBbm9g5dT7vwB1wN54q6xdX6Z5iUiCzZ07l6uuuoq//vWvOOdYc801uf766+nZsydt2xbV5EVEVpCGyIxv9nYzA9+SwLGZ3SLm0WTrsbBuDJY9l9ggNo8+u0kKKtWNofkU02d3ju99A3BTWWckIonlnOPf//43l156Kd9//z0AZ5xxBgMGDKBDhw4Vnp2I+EU+oNbE+NwFHNKvMTW75ShjiFvuN91nN/CAWtTCEd7Y8HNHtSFLlKTOq4XKK9g1s9Wccz/le9JCx4tI8k2YMIHa2lpGjRoFQOfOnRk6dCgHHXRQhWcmImEiW481EQRnFnDwPkdlgv3nKssDanHBas4DaiFjch5Qa/o6ScqgJmcm1SffJ0emmtkVZrZR1ADzHGZmzwIXlGd6IlJpCxYs4NJLL6Vr166MGjWKVVddlZtuuokPPvhAga5IkkUGtU0tKpF6TWdRI07nXPYSw8WIOy7sga3cbgzR41tEBtcnqeUV1SDfMoYDgRuAa83sQ2AcMANYAqwDdAG6A8uBG/F67opIC+ac43//+x8XXXQR06dPB+D4449n0KBBbL755hWenYg0palyhagjGgOtxvrY8G4M2duKi84MX0Y5p4Y3LFhNlzHkXjeYCc6nu0GSgsqo1eCkdHkFu865KcCJZrY58CtgP7yH0lYBfgDeB84FnnXO1TfTXEVkBfn000/p3bs3L7zwAgBbb701d955J0cddVSFZyYi+Sq6ZjcVatUEHgYLZoSdcznZ4EKlH4LzX7dxX9b78NKKyJZiweWCox5WK27azSLqe5HSFfSAmnPuK+C21JeIVJnFixdz4403cvPNN7Ns2TLat2/PFVdcweWXX84qq6xS6emJSAGiyhWa2hwsY4g6zr+CWk2xwWqkBzwAACAASURBVK7/fR4lDZk+uy7rc9j4yJrdrIa8yQkqk9sSreVTjyARAeCZZ56hT58+fPHFFwAcccQRDBkyhG233bbCMxORYkRndptYQS31OdjmK7zPbmpssWUMcVnWkFPmPKAWE7dG1ewmN7PbsmqMWxItbSTSyk2bNo3jjz+eY445hi+++IJNNtmE//3vfzz77LMKdEVasKhyhYa8M7vp8fmsoFbcHIMdFJral9N6LK7ONaLrQkt4ECxJXSKqgYJdkVZq2bJl3HTTTXTu3JknnniCtm3bctlllzF58mROPPFE1YyJtHCRywVHbk+/S9fHBrsxhPXZjS8nKETwHPHdGELGBJYBjiqRSOqDYC0hCG+pVMYg0gq9/PLL9OrVi8mTJwOw//77M2zYMHbYYYcKz0xEyqXwB9SyH/rKlDHk0We3+NRu5m0+fXZTn0MfUAscm/3AWvh1kvSP+gRNpeoosyvSisycOZMzzjiDQw45hMmTJ7PBBhvwr3/9i1dffVWBrkgr0fSiEtmvscsFlziXqI4J3ufccekx9Q0hZQxxgXNMUJwUKl1oPkUFu2a2n5n9x8zGmNkmqW1nmtm+5Z2eiJTD8uXLGTx4MJ06deKBBx7AzOjVqxdTpkzhzDPPTFR2Q0TKIyYhG3GA99JYH5suY4h5QC2YDS5UbAeGmHpeF4zMyc3e5tNbN6l/9SV1Xi1VwcGumZ0IPA8sBnYF2qd2rQX0L9/URKQcxowZQ7du3ejbty/z589nzz335J133mHIkCGsvfbalZ6eiDSTyNZjhJcm5GR2A2UMOcc4F7kgRL6C/XOz9oUEpTl9diMOMCymXCF7XFIkdRnjalBMZvdq4Hzn3LlAnW/7G8BuZZmViJTshx9+4JxzzmHvvffmgw8+YJ111uGuu+5izJgx7L777pWenog0s7jMbvhqaIGa3fT2wCu+z8GFKAoVvFbWvpD36etkanbDrxu3glpE3FtxkXOUkhXzgFpH4PWQ7fMApYlEKqyhoYG///3vXH755cyZMweA3/3ud9x8882sv/76FZ6diKwocVUMYfsymd3wMoawRSVylhguULAWN3tnbmo3pxtDyLnS7y2ixiGpcWTUA3VSumKC3VnAtsCXge37Ap+XOiERKd77779PbW0tb731FgA77bQTw4cPZ5999qnwzERkRYvrotDgHG0CIVWwZ27jcsGpgDa09VhI0FmITP/ckH0h7xuzzaHLBQfP7T8+vP43SUFl3MN6UppiyhjuAe4ws73w/km3sZmdAQwAhpdzciKSn3nz5nHBBRewxx578NZbb7H66qszcOBA3nvvPQW6Iq1UbGY3rIwh54jAA2qhywV772uKDM7SR4UdH1+zm3289z468s2rpKHSWkD2uaUqJrN7E16Q/BKwKl5Jw1JggHPuzjLOTUSa4JzjgQce4JJLLuHbb78F4NRTT+W2225j4403rvDsRKSSYmt2Q0LhYGY3Z7ngYLCLL3tcdGo38Jq1K/dBsnTGM12z6w+SgwFtXn12ExRWJjYIrwIFB7vO+539FzO7Fa+cYXVgonNuYbknJyLRJk2aRG1tLa+++ioA22+/PUOHDuXQQw+t7MREJPHCM7ueYGlBQ0zUHNIBrCAxsW54Zjd93QJbj0WXNBQ03WYVXAFOyqfgYNfM1gLaOOfmABN929cFljvn5pdxfiIS8NNPP/HnP/+Z2267jeXLl7PKKqtw9dVXc8kll9C+ffumTyAirUSBjXYDSdpgvJXTjcGVvoJapqdvyL6w98G63KhFJXI+R4xLUEyZoKlUnWJqdh8ETg3ZfnJqn4g0A+ccjz/+OJ07d+bmm29m+fLl9OjRg4kTJ9K/f38FuiKSpeDWY4HOCukSgUwZQ8gDauljSptqaDlBeGY3uhY3q3+uWV4Z3ESVMSRnKlWnmGB3L+CVkO2vpvaJSJl9/vnnHHPMMZxwwgl8/fXXbLHFFjz55JM8+eSTbLnllpWenogkUHzrsZia3XR9bGBszhEus7HUFdSaOj5q8YnoUoWYADexmd3oLLeUpphgtz3h5Q/tgFVKm46I+C1ZsoTrrruOLl26MGLECNq1a8dVV13FxIkT6dGjR6WnJyIJVnhm15MJQJvoxuA/pthFJQKvWfvCOjTkjAnfl1Oz28R5kyTZs2uZiunG8DZwHtAnsP184N2SZyQiADz33HP07t2bzz77DIBDDz2UIUOG0LFjxwrPTERagrjlguMeOss9T+478Moagh0cCpWp2W0ytRt6nbhSBYtI+yY18A3+I0PKp5hg92pgpJntgtd+DOAQoBtweLkmJtJaff3111x00UU8+uijAGy00UbcfvvtnHzyyfpLUETyFt96LGx8dv1tpqetCz2fc/EBdT7y7sbQ+BrXPzfYqiyf1mPJk8Q5tXQFlzE4594AugNf4z2UdiwwFdjZOTeqvNMTaT3q6uoYMGAAnTt35tFHH6VNmzZcdNFFTJ48mVNOOUWBrogUpNgyhnS0lfOAWsj40rsxZF8za1/Iqmexq6QF6hai9iXpoTS/uM4UUppiMrs45z4AzijzXERarddff53a2lo+/vhjAPbZZx+GDRvGzjvvXOGZiUhLFZt1DQt2gw+oWczglIZANrhw2Q/DZe0JzeyGHx/cZzmfW07rsaQG4y1ZUcGumdXgLSixAYHssHPu9TLMS6RV+Pbbb7nsssv497//DcDPfvYzbr31Vn7zm99QU1PM86MiIp5CV1BLi1rAIbyMwVPsX1dxdaqhpQcxywDHbY98kC2vWa4YcVluKU0xi0r8HHgA2ILcW+KANmWYl0hVq6+v56677qJ///7MmzcPM+O8887jhhtuYN1116309ESkyuUGrpkNmbgyVcaQHhN8QI1MtFtyN4awMobQPrvhxwcPMCxyueCsVdcSlNpN0FSqTjGZ3b8C44CjgZkUvESLSOv29ttvU1tby7vves1LdtttN4YPH86ee+5Z4ZmJSDUp5AE1/9ic5YIbmn5AreQ+u2H7ch44KyBjG2w9FpUBznumzS/Y31jKp5hgdzvgJOfc1HJPRqSazZkzh/79+3P33XfjnGOttdbihhtu4A9/+ANt2ugHIiJSXoW0HvN/ssAbFzKm8bjAEsOFygSxIWUMoZndQBlDnq3HzHID57BjKinfBTakcMUEu2Px6nUV7IrkoaGhgX/+85/069ePH374AYDf/OY33HLLLWy44YYVnp2IVKtCujFklTFEdWMIBsi+PrvFRmhxmd248WGfczK7edXzJiey1ANqzaeYYPdO4DYz6wCMB+r8O51zH5VjYiLV4KOPPqK2tpY33ngDgC5dujBs2DAOOOCACs9MRKpdIcsFZ2d2s3+cHpUhzl5BrTThNbshrceCY6LGp/4LvVYT160YtR5rNsUEu4+mXv/u2+bwfv/oATURYP78+Vx77bUMHjyY+vp6VlttNa699lr69u1Lu3btKj09EWkFgpnY7J3Bsb4PwR+nx3VjcCXW7Ia8C9sS9SBb1ENoFug9Fl3SkDxJnFNLV0ywu1XZZyFSJZxzPPzww1x00UXMnDkTgJNOOonbb7+dTTfdtMKzE5HWJD6zG/ycW8aQzozmc56ia3ZjspmhNbsxUXXuUsL+9zFBcUIEu2BI+RQc7DrnpjXHRERauilTptC7d29GjhwJwLbbbsuQIUM44ogjKjwzEWmNCqvZzbwPZlEblwsOaT1W6gpqwWtGbYssSYjK2Fqg9VhUljdBedRC65clf0UtKgFgZl2AzYGV/Nudc/9X6qREWpJFixZxww03cMstt1BXV0f79u3p378//fr1Y+WVV6709ESk1YqOduMXlcjukBC3qET6GsVndrNfCx0XV5cbVgYRPCZJSdRgFwwpn2IWldgaeBzYiUytLmT+VKlmV1qNp556ij59+jBtmvcDj6OOOorBgwezzTbbVHhmIiLR8srspvdFHQOkWvA2dm4oVFRLMW9fbulBTuuxkO4MzuV2Y7CoyDdBVL7QfIpZ4O8O4Au8pYIXATsA++MtNHFg2WYmkmBffvklPXr0oEePHkybNo3NNtuMxx57jKefflqBrogkQlwZQ26f3ZCa3XSf3cYyhtzzuxKLdqMWiwhui87sRn8OW5Qi6rxJEPxHhpRPMcFud+CPzrkfgAagwTk3GrgSGFzOyYkkzdKlS/nLX/5Cly5deOqpp2jbti2XX345kyZN4vjjj9e/zEUkMWIfLIvN7GYHoJnMbthjbWUqYwjbF/IpJ7iN6M5gRAe1+dQCV0I+D+FJcYqp2W0DLEi9/wHYGJgCTAM6lmleIokzcuRIevXqxSeffALAgQceyNChQ+nSpUuFZyYikisus5sz1vc+pxtDHpndUluPhQZ4IQ+YxbUeC54vakoWFflWWFyWW0pTTLA7AdgFr5RhLNDPzJYB5wGfl3FuIokwY8YMLr74Yh566CEANtxwQwYOHMhpp52mf4GLSGLF9dmNW0EtLVPGkB6Ue45MFUOxNbsxrcRC3ucuFxw8n297xKkTW76rbgzNppgyhut9x/0Rr+/uKOAooG+Z5iVSccuXL+f222+nU6dOPPTQQ9TU1NCnTx+mTJnC6aefrkBXRBKt6BXUAj9Ob+zGENp6rDyLSjRdsxuR9YwKaC1YpxtVs5ucv8djs9xSkmL67D7vez8V6GRm6wJzXexyLSItxxtvvEFtbS0ffeStfr3XXnsxfPhwdt111wrPTEQkP8X32c2uj83nf+xFx2cxrceiFoKIGpP57DWKyqdON4lhZRLn1NIVnNk1s7+b2Rr+bc65OcCqZvb3iMNEWoTvv/+es88+m3333ZePPvqIddddl3vuuYc333xTga6ItChxvXRz9viD3ahuDKHLBafGFlvG0Pga1nosbE7xrceigufIh9USFFnm23NYCldMGcNZwCoh21cBflPadEQqo6GhgbvuuouOHTvyj3/8A4BzzjmHKVOmcM4551BTU8wfFRGRCorN7Ma0Hgu8RpTs4nzHlRqghWd2c/c3VcUQVY8bnRlODsv5lZdyyfv/4Ga2ppmthXcX1kh9Tn+tg1ez+10hFzez/c3sKTObYWbOzI4L7Dczu87MZprZYjMbaWbbBcasa2b3m9l8M/vRzP5mZqsXMg9p3d599126d+/O+eefz9y5c+natStvvvkm99xzDz/72c8qPT0RkaLElR80xJUx5Kyg1nRmt1j+VmG5+3zvIzoVRH0237nJeZ97/SRQZrf5FJKu+hGYg/fn5xNgru/rB+DvwNACr78a8CHQK2J/P+AC4HxgL+An4Hkz86/Bej/ewhaHAcfgLXBxd4HzkFboxx9/pHfv3nTr1o23336bNddckzvuuIN33nmH7t27V3p6IiIliQ9EYx5QS73WBLoxhD+gljqm2BXU0q8hx2eVNkRmdsNqdoldQS2pNbsKcptPIQ+oHYT3++Jl4ES8wDdtGTDNOTejkIs7554FnoWwOhwz4ELgeufck6ltvwG+BY4DHjSzzsCRQDfn3LjUmD7ACDO7tND5SOvgnOOVV17hvPPO47vvvB9GnH766QwYMICNNtqowrMTESmP2JrdmNZjOX12I47BZVZiqykyUItbVCIk1m2yZtc/98iShoQGlcEHA6V88g52nXOvAZjZVsBXK6DzwlZAB2Ckbw7zzGws3ipuD6Zef0wHuikj8VZ22wt4POzEZtYeaO/btAZAXV0ddXV15fweJGE+/vhj+vTpw+jRowHo2LEjgwcP5qCDDgLQ/a9C6Xuqe9s66H5n1C1fHr2vbnnWr5H//fLUcelgeflyb+zy+vqsc9Q3NDRuc84V92vuiySCxzf4rtdQX09dXR0NDdlzaGhoyLrnjXXGroF63/H1vnHL6xsyl3cNifm90tjGDf3+jVLsr0sxi0p0BjYDRgOYWS/gXGAi0Ms5N7eomeTqkHr9NrD9W9++DgTqhJ1zy81sjm9MmCuBa4IbX3nlFVZdddXiZiuJtnjxYh566CGeeuop6uvrad++PSeffDI9evRg8eLFjBgxotJTlGb24osvVnoKsgLpfsOkHw1v0dNcr416nU99/7tbUAfpkCD99+HcOW0A47333sd95ZgwK/t830yfzkcLvwHa8P133xX19+iChd41fvppYc7x47/LXO/td95hwaeOjwNzmDp1Ki8u9Va1fPHFF1le753v21mzGDNmRuP39PGECYz4YTyQrlf2tk+fPp0RI74ueN7NYfYPNUANS5Yu0f+TIixatKio44oJdm8FLgcws52AgcBteGUOA4HfFTWTFetGvLmmrQF8c9BBB7HeeutVaErSHJxzPP7441x22WV88803ABx77LEce+yxnHHGGbRr167CM5TmVldXx4svvshhhx2m+90K6H5nrP7pD/x10nuh+/bbdz86dsh0Ef1h4VKuHvcaAEcddRQAD8x6h6nz57JL164ctfNGzB37Ff/7YnLjMZtsvAk7bb0O//1sIhtuuAFHHbVbwXMc/vmbzFy0kDVWX52jjtona9/S92dw/2cTANhzz27st+3PmPv21/zvi0mNY7bfblsO22+LzD1/bxRL65ez0UYbsffeWzBowtsA7Ljjjhy152YANDQ4LnrL+8fQpptuylFH7VjwvJvD/75/l8nzZrPKyitz1FEHVHo6iTR//vyijism2N0KL4sLXu3uU865/ma2G1DOf4rMSr1uCMz0bd8Q+MA3ZgP/QWbWFljXd3wO59xSYKnvGADatWvX6v9yrCZTp06ld+/ePP+8tw7KVlttxZ133snhhx/OiBEjdL9bGd3v1kX3G2rahGd1Adq0bZv169OmrfcjfzMat9dYTeN52rVrl3M+qzFqarxtbWpqivr1tlRbx5oayzm+je967VLzbRuYQ5vU3MCbd7oet6ZNDe3aZkKctm0z4/xVmMXOuzmkW1zWWO6vhXiK/XUppnnoMiD9w49DgRdS7+cAaxY1i3Bf4AWsh6Q3mNmaeLW4Y1KbxgBrm9nuvuMOxvu+xpZxLtKCLF68mGuuuYYdd9yR559/npVWWon/9//+Hx9//DFHH310pacnIrJixDxZ05DzhJr34n84KthePLT1WOOnZl5UIqr1WE43Bv/xFjouqg1ZpUUtnCGlKyazOxoYaGZvAHsCp6S2bw98U8iJUv1wt/Vt2srMugJznHNfmdkg4Goz+xQv+P0zMAN4AsA5N8nMngPuMbPzgXbAEOBBdWJonUaMGEGfPn34/PPPATj88MMZMmQI2223XRNHiohUl4K6MaRewwLExtZjOQtR+FZQK7UbQ9iiEmErqAWD25xuDJmOBvl0YCh25TdpWYrJ7PYGlgMnAT2dc9NT238BPFfgufYA3k99gVdH+z5wXerzLcCdeH1z3wFWB450zi3xneMMYDLwEl4ZxWjgvALnIS3cV199xQknnMDRRx/N559/ziabbMIjjzzCc889p0BXRKQJLiSz27hccCoUzuk85lxmBbUirxsXJIf1w83N7Iafz8wCmeHCr7+iRX2PUrqCM7vOua/wFm8Ibr+oiHO9SsyfkVR7sz+mvqLGzAFOL/TaUh2WLVvG7bffznXXXceiRYto06YNF154Iddccw1rrLFG0ycQEalScQ1CczO70cv+ZjK7wWPKkNltLE+IL2OIXFQiIvg1AsFySD9e55IVWKp8ofnkFeya2ZrOufnp93Fj0+NEmtsrr7xCr169mDTJezJ3v/32Y+jQoey0004VnpmISOXFBrvB1dAaM7u5ta3ppYVzTuer2S21HKCpo6OXCw4/MmcFtZDa3tJy0uWnzG7zyTezO9fMNnLOfYe3bHDYH6H0753oxz9FymDWrFlceuml3H///QCsv/76DBgwgDPPPFP/MhYRSYlb+SmqZtcf+2WWC3ZZr5ljXGYhhGap2c3NzDYVVPtrdrN3hIxzLlGBZb7foxQu32D3YDLLAx/UTHMRibV8+XKGDx/O1Vdfzfz58zEzevbsyfXXX88666xT6emJiCRK3EKnYfW3EKjZjRibOSYTNNcUGTXGZTNDl/uNWB4493zxNbsWsb2ywrPXUrq8gt30UsHB9yIryltvvUXPnj354AOvxXK3bt0YNmwYe+yxR4VnJiKSTPGZ3YgyhqwOCI1PqDV9nhKfUGuy9VhExjauO0NchjSJAWUmsyvllm/N7s75ntA591Hx0xHJNnv2bK644gruvfdeANZee21uvPFGzj333KyG4yIiki2uZrchYl9YB4TGbgwxfXaLjnXTr6GZ3ZAyBosObv1nNCIC96xzJ6yMIf2apElViXzLGD7A+z2dqemOpghEStbQ0MA//vEPLr/8cmbPng3Ab3/7W26++WY22GCDJo4WEZEmcrvZn0Izu95r5gG1sJrd9NgiyxhisplhZQhR5Qg5xzTRoizT3SE5gaUyu80n32B3K9/7XYEBwK1kVjLrDlwC9Cvf1KS1+uCDD6itrWXMGO+314477sjw4cPZd999KzwzEZGWo6jWY1lbLWtsc2Z2w1KsWTW7EQ+yRbces9DAPWdcgiJLQ9Fuc8m3Znda+r2ZPQJc4Jwb4RvykZl9jbfC2RPlnaK0FvPmzeOPf/wjQ4YMoaGhgdVXX50//elP9OnTR+uEi4gUKP+8LqEZ2sZuDFGLSkAZujFEdE/IOWdE67GIml2zpvvsRl23UpI4p2pRzHLBO+Et3Rv0BdCltOlIa+Sc48EHH+Tiiy9m1qxZAJx88skMHDiQTTbZpMKzExFpmQrL7HrCsqlxmd3GscVMkKYyrE23HosKfnNqdnNy1ungWaFla1DMcsGTgCvNbKX0htT7K1P7RPI2adIkDjnkEE4//XRmzZrFdtttxwsvvMBDDz2kQFdEpATBGtusfTndGHK7KqQDwvTI3PNVoGY3J0Mbl9kNP1fY5ySIeghPSldMZvd84CngGzNLd17YGe/Pw7HlmphUt59++onrr7+e2267jbq6OlZeeWWuuuoqLrvsMtq3b1/p6YmItHjxK6iFfw4NEBsXlcg9f3itb/5ilwvOmkv4FaL751psQJvkmt0ETalqFBzsOufeNrOtgTOATqnNDwEPOOd+KufkpPo453jyySfp27cvX331FQDHHHMMgwcPZquttmriaBERyVdBK6iFZGiD3Rj823NKG0qsY2jq8Ki2XPGZXovY7q8VTlBoGfEQnpSumMwuqaD27jLPRarc559/zgUXXMAzzzwDwBZbbMHgwYPp0aNHhWcmIlJ9YldQy9mX+6BZOiAMjq0xo955Od10IFzsCmqZa4VtC6vZDYyJOV9eK6glKLD0Z6WlvIqp2RUpyJIlS/jzn//MDjvswDPPPEO7du3o378/EydOVKArIlIBkd0YfNssMDYd9DZ2aXCuDGUM6dcmyhiiujHkWbMbdfIkhZWN2eYkTapKFJXZFcnXCy+8QK9evZg6dSoABx98MEOHDqVTp05NHCkiIqUoqhtDVjY1vM+ut92lWo+ltxU3x6hFIILnzLcbg29PaGY4s7ep41e8BE2l6iizK83im2++4eSTT+aII45g6tSpbLTRRvz3v/9l5MiRCnRFRFYAF1KaENzX+DmfzG5we1brsSK7McQ8lJVPIJpTnhDVjSEnSE5eaKluDM1Hwa6UVV1dHbfddhudOnXikUceoaamhgsvvJDJkydz6qmn6g+xiMgK4mLqaSNXUAvJprpAN4bG7b59pWZ2Q2t2w/rsRkW3gWNy+uxGtB5L0v+TYpLcUqKCyxjM7DrgFWCMc25J+ackLdWoUaOora1lwoQJAOy9994MGzaMXXbZpcIzExFpvWoM6gPbomp2szoYBPalA+KaxvIGV7YyhtDMcNYDZuEZ4PjMbu73EvycpMAySYF3tSkms9sdr8/uj2Y2ysyuN7NDzWyVMs9NWojvvvuOs846i/33358JEyaw3nrr8be//Y1Ro0Yp0BURqZC4BR9yF5VIj81sawxqyc7s+jPFmbOUWMYQH+tGZnajanGD+yIfbEtQfJnEOuJqUXCw65w7DFgbOAQYAewBPIYX/I4u7/Qkyerr6xk+fDgdO3bkX//6F2bGeeedx5QpUzj77LOpqVGVjIhIpaQD0ZqQ4CmyjMG/0cLH+oOxsmV282w9FoxOo2pxczPFwePCj08CBbvlV2yf3eXAG2b2PTAHWAAcR2aRCaly77zzDrW1tYwbNw6AXXfdleHDh7PXXntVeGYiIgL+VmEhmd2oB9RCSgeCD6hlyhhKX0EteK3sbbn7883s5vTZjazZLXyuzSaupENKUnDqzczOM7MHzGw68CZwJDAaL8O7fpnnJwkzd+5cevbsyV577cW4ceNYa621GDJkCO+8844CXRGRBAkGp1n74pZXS8k8oJZ9UGOfXcpRsxtTxtBEaUPYZ3//3KzMcMSZkhRWxpV0SGmKyez+FfgeuA0Y5pxbWN4pSRI55/jnP/9Jv379+P777wH49a9/za233kqHDh0qPDsREckRE4hGBbthD3U1pLsxpD5nZXbT3RiKrtmN2xfWjSFYthB+vqjlgXPPl+9Mm18Cy4irRjHB7gnA/sCpwJ/M7H3g1dTXaOfcorLNThJh/Pjx1NbWMnq0V5LdpUsXhg4dyoEHHljZiYmISKS4EoPIFdRCHlCLGuOVMaTHFjfHuBZgYcv95mZ2o4Pa+EA6/PhKypQlJ2dO1aLgYNc59wTwBICZrQXsB/wKeBpoAFYu5wSlchYsWMC1117LHXfcQX19PauuuirXXHMNF154ISuttFKlpyciIjEauyf4ItEagwZfRrZxbEhgnNNnt7EXb6ZLQ1zHh0KEHZ1PN4bggZE1u1HXTVBcqcxu8ynqATUzWw84ADgw9bUDMBcYVa6JSeU453jkkUe46KKLmDFjBgAnnngit99+O5tttlmFZyciIvkIq9ltU2M01AcfTwtvUxas2Q2usuZ/QK1Yse22QlpDxLUa8++31H/B7bnjkkM1u82nmEUlxgOdORTQ0AAAGwZJREFU8YLb14F7gNeccx+VeW5SAZ988gm9e/fmxRdfBGCbbbbhzjvv5Be/+EWFZyYiIoXI9MXNbPOCWRfSeixME90YCC9/KEQ6uA57iC57XHpGTdTiRgS4uUFy8iJKBbnNp9gH1F5zzk0o92SkchYtWsSNN97ILbfcwrJly2jfvj1XXnkll19+OSuvrMoUEZGWJlh2AL5OCjmLSsQtF5z92hg8+2p2S31ALTyxG1J/m29m18JblwXHJSnCTGK2uVoUU7M7FMDMVgK2Aj5L9d2VFurpp5+mT58+fPnllwAceeSRDBkyhG222aayExMRkaIFyw4gOyubNTb1Glbn2hAIjP3Bc/MuKpF7zajgNufY4OCo2t78prmCpMsYkjWralBMn91VzOxvwCLgY2Dz1PY7zeyKMs9PmtG0adM47rjjOPbYY/nyyy/ZdNNNefTRRxkxYoQCXRGRFi6sZtffNixrbGNgHDK28XypPrs1mc+lLyoRHXaGxapNtR7zbw/NDAfOk8S4MoFTavGKWc/1JmAXvAfTlvi2jwROKcOcpJktXbqUG264gc6dO/Pkk0/Stm1b+vXrx6RJkzjhhBP0r0oRkWoQWAQCfKUJEbnd0DrXxjoGUufzBcwreLngfFuPmVloZjjnGgkKLZPY+7daFFOzexxwinPuLTPz/2n5GFA6MOFeeuklevXqxZQpUwA44IADGDp0KDvssEOFZyYiIuWUKU0oJLOb4SvNzT6f73PYNQoRW7ObVVIR0Y0hpjwhpoohkYFlZu4JmlSVKCazuz7wXcj21Yh6oFMqbsaMGZx22mkceuihTJkyhQ033JD//Oc/vPLKKwp0RUSqUKbPbmZbm5qmanb92dTswNg1Zoqt8XNmBbXixGZ2w8Y1cSXzRbthmeHc8yWHxUX+UpJigt1xwNG+z+k/I+cAY0qekZTV8uXLueOOO+jUqRMPPvggNTU19O7dm8mTJ3PGGWeoZEFEpEoFg1Pvffa+zFjvNez/CI3LBQdXUMNboMLbVmxm17Jes/Y18dBa2HWz++zmcd0E/S8w82sh5VZMGUN/4Fkz65I6vm/q/d54C01IQrz55pvU1tby4YcfArDnnnsyfPhwdttttwrPTEREmlvcA2o5Y0Oi3dwH1FJDfBnf5uzG4J9MdM1u8HN4Njeq9ViSEj5JLK2oFgVndp1zo4GueIHueOBwvLKG7s65d8s7PSnGDz/8wO9//3v22WcfPvzwQ9ZZZx3uvvtuxowZo0BXRKSVCAtE0wFssJ1YsB7Xf1xUn12vZrcZyxjCHjBrqmbXd77YFdSKmGtzS+KcqkVRywU75z4Dzi3zXKREDQ0N3HvvvVx55ZXMmTMHgLPPPpubbrqJ9ddfv8KzExGRSggvY8geE7pccHpfoMLXf75SM7uZa+XZeiyYoc357Hu13O2NnxPYeizTSzhBk6oSRQW7kjzvvfcetbW1jB07FoCdd96Z4cOHs/fee1d4ZiIiUgmZMobMtuBDZ5mxuRnaTOuxwJhgypfiA7TG40IzuyFlDE1kdvEFsRYWLQc+JjGwTFIAXi3yLmMwswYzq2/iSyuprWA//vgjffr0oVu3bowdO5Y11liDQYMG8e677yrQFRFpxUIfUGtcECI42HsJKx1orNkNK2MIWWa4IDFdEbJj1fCHt6I+Bx9QywlqExhQqma3+RSS2T0+Zl934AKK6+4gRXDOcf/993PppZfy7bffAnDaaacxYMAANt544wrPTkREksKfIW3jaxvml6nZzc2mNjRkj/UndsNqfQuaW8gcg9fxv29qBbV8M8AWsb2S4jpTSGnyDnadc08Gt5lZR7wV1Y4F7gf+WL6pSZSJEydSW1vLa6+9BkDHjh0ZOnQohxxySIVnJiIiSRHWTizYYSFnbEgHg0xmN9BnF5epZCi29VhjnWrIvpDlfnMvE12zG1Z/nM91Ky1JAXi1KCoTa2Ybm9k9eN0Y2gJdnXNnOeemlXV2kmXhwoVcfvnl7LLLLrz22musssoq3HDDDXz44YcKdEVEJEu6xta/qESwDjc41i+nG0Pj9kzdb8ndGILzCrm+f2BEia7vc3iAm5MRjrlupSRpLtWmoAfUzGwtvD67fYAPgEOcc6OaY2KS4Zzj8ccfp2/fvnzzzTcA/PKXv2TQoEFsueWWlZ2ciIgkUqbG1lfG0LiCWsSiEjHdGHJqdsvZZ7epcVHLBeeMy5w4bk75rsi2IsWVdEhp8g52zawfcDkwCzgtrKxByu+zzz6jT58+PPvsswBsueWW3HnnnRxzzDEVnpmIiCRZ2BLAmT67EWN923Izu9lZXEd4rW8h8g3wMruDNbvhNbwWmFNukBwePFdSEpcwrhaFZHZvAhYDU4GzzOyssEHOuRPKMbHWbsmSJdx0003cdNNNLF26lJVWWol+/fpx5ZVXsuqqq1Z6eiIiknDBTCzEtB4L6arQWLPrgpndzPZMHW9xc4yt2c2aS+62qOPS48KODzt3Uiij23wKCXb/RUi3Eim/Z599lj59+vDZZ58BcNhhhzFkyBC23377Cs9MRERaisaa3bBFJYJlDKnX7NXWsvdltmcGlVzGkPPGv8+fmQ0PiiMzthHLA+dcI0EBZhLriKtFId0YftuM8xDg66+/5sILL+Sxxx4DYOONN2bQoEGcdNJJifoDKSIiyReW2W2s2c1px+C9ZAWJgSxwWEAcVutbkJja2fDMbhNBrGW2Z+8LL39I1P9ZVcbQbNQXNwGWLVvGLbfcQufOnXnsscdo06YNF198MZMnT+ZXv/qVAl0RESla9kpk6QfUsmVWR/MdF9gXzOL6uzEUPbeY2tnQPrsRx2c+Z17ja3bDt1dS5tciQZOqElouuMJee+01amtrmThxIgD77rsvw4YNY6eddqrwzEREpCULq6dtfJ+T2vXEPaBGoCzC32e31PgstGY3q89uRFAcDGIjMrtR5Q9JCiuTOKdqocxuhcyaNYszzzyTAw88kIkTJ7L++utz33338frrryvQFRGRkoW1HmtqUQm/3EUlAufIWkGtyG4Mlv0ati9sTpnP0fuzA/f8angrKYnZ5mqhYHcFq6+vZ8iQIXTq1In//Oc/mBk9e/ZkypQpnHXWWfrxhYiIlEU6EM3qs5tuPRboPRa2Elqmn25EGUPItkJlyg5CanZDPsQtIuHfb2axK6hFHV9JUe3VpHQqY1iBxo4dS21tLe+99x4Au+++O8OHD6dbt24VnpmIiFSb0CWAIzosFNJnN6v1WKkrqOWZ2Y3sphB3TMR2b190rXClJXFOLZ0yuyvA7Nmz+cMf/kD37t157733WHvttRk2bBhjx45VoCsiIs0i89BZSBlDPn12g90YQjK7lJzZjQs6czOzuZnd6PPlt4JacmTapkm5KbPbjBoaGrjvvvvo168fs2fPBuCss87illtuYYMNNqjw7EREpJrFth4Ljk29hgVawY4LWX12G48rrWY37MphgXduzW5EGQPBMoaIWt8EpVETNJWqo2C3mXz44YfU1tby5ptvArDDDjswbNgw9t9//wrPTEREWhN/cJopTQiv2bXQsanX9PbGg6AhJCNciNgyhpD3TWV2o7bndnFIXhZVD6g1H5UxlNn8+fO58MIL2W233XjzzTdZffXVGTBgAO+//74CXRERWWEyD6hlttVERlK5tbfpbGhDThlDJjtc8qISMT+6Dwu8myxjCASxTdX6JiqwjMheS+mU2S0T5xwPPfQQF198MTNnzgTgV7/6FQMHDmTTTTet8OxERKTVcbnFCZkOC+FDw5cLdlmv/i4NceUP+cg/s5tnGUPIOVzI+f3lDkmRyAC8SijYLYPJkyfTq1cvXn75ZQC23XZbhg4dyuGHH17hmYmISGsVl9kN1uGG1d42Bl0u+7UmK7NbYhlDyHVzrk8hmd2I7VErrSUosIwL/KU0KmMowaJFi+jfvz8777wzL7/8MiuvvDLXXXcd48ePV6ArIiIVFbaoRPrH/A0RmV1/TJizqETqtaYmc0xzZnZDx+f5Obj0blPlDkkQlb2W0imzW6T/+7//44ILLmDatGkAHH300QwePJitt966wjMTERHxlR340lptfIFq2Nis0oHAw2yZLK4vO1xizW46sAurJQ7LMje1qETO+MDnzLnDt1eSZSJ1KTMFuwX64osvuOCCC3j66acB2HzzzRk8eDA9evRI1EosIiLSuoU9PJZpPRbVjSHkPIHX7OWCSytjiJO9QER4JJj3imoxLcqSQrFu81EZQ56WLl3K9ddfT5cuXXj66adp164dV1xxBRMnTuSXv/ylAl0REUmUsOWCgwtFBMf6g7+aiJIHfw1wY5Bc5BzzLWOIrsUN/xzsy9tUDW+SKJ4oP2V28/Diiy/Sq1cvPv30UwAOOugghg4dSufOnSs8MxERkXBhi0pEtR4LX0Ete18wsHXOX+tbbBlD+rWJB9QCr2Fj/J8bN0dNK4Fp1CSu6lYtlNmNMX36dE455RQOP/xwPv30Uzp06MADDzzASy+9pEBXREQSLdMqLKz1WHANNU9YgBksY/BnHsNqfQsR9QBZ8DqZcfk9opZTsxtxVJICS2V0m4+C3RB1dXUMHDiQTp068fDDD1NTU0Pfvn2ZPHkyp512mn5DiohI8oX2zo0oY2jM2uYGmOnzBLO/zrnYWt9ChB1uIe/zzewGP0dvT97/zxM4pRavaoJdM+tlZl+a2RIzG2tmexZzntGjR7P77rtzySWXsHDhQrp37867777LoEGDWGuttco9bRERkWYRXrObvS8zNqaMoXFRiezzOTL1vNErs8WLXVQiZC551+w2vkY82BazclulqIyh+VRFsGtmpwADgT8BuwEfAs+b2QaFnKd3797st99+jB8/nvXWW497772X0aNH07Vr12aYtYiISPNJZ2L9NbttGh86C+/G4Jc+rKEhPYis83nHlFjGEOiHG7bPvz+3q0JEl4VAeUS+Gd9Kivu1kNJUywNqFwP3OOf+AWBm5wNHA2cDN+V7kgcffBCAI088g99deCVrrr0uL0z8thmmK5W0fHk9H8422nz8LW3btqn0dKSZ6X63LrrfGV/88BOQnXVNtx779LuFPDdhZuP2j76ZB4TXyc6av4TnJsxk5rzFWedbXFfPdwuWpsYWN8e4bGZT2d6w44LdF5oqf0hSXKnMbvNp8cGuma0E7A7cmN7mnGsws5FA94hj2gPtfZvWAGiz7uasd+h5fLzx9lz66MRmnLUkwvgxlZ6BrEi6362L7nejhiULaVi6CDNYvth7/9Q7n/HUO5/ljF2+eCGzZ88GYMlP82hYuoj3pi7ivKkzMudb+hMNSxcxdynM/dELkhctmNd4XCGWLVpAw9JFLF20IOf4+T8to2HpItq1scZ98+cvoWHposYxC+b9yOx2S1i0aBGzZ8+mPvW9Ll7ozcfqFtGwtJ4F8+cyu2Zp43H1S7zvYdH8ecyevUrB824OS3+aT8PSRSxbnPtrIZ4FCxYUdZxFPZHZUpjZxsB0YG/n3Bjf9luAA5xze4Uccy1wzQqbpIiIiIiUy6bOuen5Dm7xmd0i3YhX45u2BvANsClQ3D8bpCXR/W5ddL9bF93v1kf3vHVZA5jR5Cifagh2fwDqgQ0D2zcEZoUd4JxbCjT+PMNXo7TAOTe/GeYoCaL73brofrcuut+tj+55q1PwPW7x3Ricc8uAd4FD0tvMrCb1WUVbIiIiIq1YNWR2wStJ+KeZjQPeBi4EVgP+UdFZiYiIiEhFVUWw65x7yMzWB64DOgAfAEc65/LtG7YUr0fv0qYGSlXQ/W5ddL9bF93v1kf3XGK1+G4MIiIiIiJRWnzNroiIiIhIFAW7IiIiIlK1FOyKiIiISNVSsCsiIiIiVavVB7tm1svMvjSzJWY21sz2rPScpHBmtr+ZPWVmM8zMmdlxgf1mZteZ2UwzW2xmI81su8CYdc3sfjObb2Y/mtnfzGz1FfudSD7M7Eoze8fMFpjZd2b2hJl1DIxZ2cyGmtlsM1toZo+a2YaBMZub2TNmtih1nlvNrCq61FQTM+tpZh+l/mzON7MxZvYL337d6ypmZlek/l4f5Numey55a9XBrpmdgtej90/AbsCHwPNmtkFFJybFWA3v/vWK2N8PuAA4H9gL+AnvXq/sG3M/sANwGHAMsD9wd3NNWEpyADAU+Dne/WoHvGBmq/nG3A4cC/wqNX5j4LH0TjNrAzwDrATsDZwF/BavhaEkyzfAFcDuwB7Ay8CTZrZDar/udZUys27AH4CPArt0zyV/zrlW+wWMBYb4PtcA04ErKj03fZV0Xx1wnO+zATOBS33b1gKWAKemPndOHbeHb8yRQAOwcaW/J301ec/XT92//X33dxlwkm9Mp9SYn6c+/4LUUuO+MecD84CVKv096avJez4H+L3udfV+AasDnwCHAq8Cg1Lbdc/1VdBXq83smtlKeFmCkeltzrmG1OfulZqXNIut8BYb8d/reXj/2Enf6+7Aj865cb7jRuIFu3utoHlK8dZKvc5Jve6Ol+313/PJwFdk3/PxLnvxmeeBNfEy/JJAZtbGzE7F+2nOGHSvq9lQ4Bnn3MjAdt1zKUhrrl35GdAGCK6y9i3evxClenRIvYbd6w6+Md/5dzrnlpvZHN8YSSAzqwEGAW845yakNncAljnnfgwMD97zsN8ToHueOGa2E15wuzKwEDjeOTfRzLqie111Uv+g2Q3oFrJbf76lIK052BWR6jAU2BHYt9ITkWY1BeiKl8U/CfinmR1Q2SlJczCzzYA7gMOcc0sqPR9p+VptGQPwA6l6nsD2DYFZK3460ozS9zPuXs8Csh5MTD21uy76/ZBYZjYE72HCg5xz3/h2zQJWMrO1A4cE73nY7wnQPU8c59wy59xU59y7zrkr8R5I7YvudTXaHe/v4/fMbLmZLcd7CO2C1Ptv0T2XArTaYNc5twx4FzgkvS3149BD8H5UJtXjC7y/3Pz3ek28Wtz0vR4DrG1mu/uOOxjvz8jYFTRPyVOqldwQ4HjgYOfcF4Eh7wJ1ZN/zjsDmZN/znQLdVw4D5gMTm2vuUjY1QHt0r6vRS8BOeJn89Nc4vI456fe655K31l7GMBDvR2HjgLeBC/EeevhHRWclBUv1w93Wt2mrVC3fHOfcV6n+jFeb2ad4we+fgRnAEwDOuUlm9hxwj5mdj/fwwxDgQefcjBX5vUhehgKnA78EFphZugZvnnNusXNunpn9DRiYqrueD9wJjHHOvZUa+wLe//T+bWb98Or4rgeGOueWrshvRuKZ2Y3As3gPIK2Bd+8PBI7Qva4+zrkFwAT/NjP7CZidrsvXPZeCVLodRKW/gN7ANGApXgZvr0rPSV9F3ccD8drOBL/uS+03vP6Ks/Bajo0Etg+cY13gAWABXnuavwOrV/p701fo/Q671w74rW/MynhB8Ry8vsqPAR0C59kCGAEsAr4HBgBtK/396Svnfv8N+DL19/R3qT+/h+let54vfK3HdM/1VeiXpX5DiIiIiIhUnVZbsysiIiIi1U/BroiIiIhULQW7IiIiIlK1FOyKiIiISNVSsCsiIiIiVUvBroiIiIhULQW7IiIiIlK1FOyKiIiISNVSsCsi0kzM7Eszu7CJMc7MjivwvK+mlsDO+zoiIq2Vgl0RkQKZ2WZm9nczm2Fmy8xsmpndYWbrVWhK3YC78xmowFhEWhsFuyIiBTCzrYFxwHbAacC2wPnAIcAYM1t3Rc/JOfe9c27Rir6uiEhLoGBXRKQwQ4FlwOHOudecc185554FDgU2Af4SdaCZbWdmr5vZEjObaGaHNXUxM1vNzP5lZgvNbKaZXRIypjFba55rzewrM1uayj4PTu17FdgCuD1VPuFS29czs/+a2XQzW2Rm483stMA1XjWzwWZ2i5nNMbNZZnZtYMzaZnaXmX2b+h4nmNkxvv37mtkoM1tsZl+nzrdaU78GIiKlULArIpKnVNb2CGCYc26xf59zbhZwP3CKmVnIsTXAY3iB8l542eCb87jsrcABwC+Bw4EDgd1ixp8IXAT8AS/7fBwwPrXvBOAb4I/ARqkvgJWBd4GjgR3xSiL+bWZ7Bs59FvBTav79gD+mA/bU9/cssA/wa6ALcAVQn9q/DfAc8CiwM3AKsC8wJI9fAxGRorWt9ARERFqQ7QADJkXsnwSsA6wPfBfYdyjQCTjCOTcDwMz64wWIocxsdeD3wK+dcy+ltp2FF7BG2RyYBYx0ztUBXwFvAzjn5phZPbAgFZyT2j4dGOA7x51mdgRwcvrYlI+cc39Kvf/UzHrjlW+8mPr+9gQ6O+c+SY353HfslcD9zrlBvuMvAF4zs57OuSUx35OISNGU2RURKVxO5jYPnYGv04FuypgmjtkGWAkYm97gnJsDTIk55hFgFeBzM7vHzI43s9jEhpm1MbP/lypfmGNmC/Ey2JsHhn4U+DwT2CD1vivwjS/QDdoF+G2qHGNh6hrP4/1/aKu4+YmIlELBrohI/qYCDi9wDdMZmAt8v8JmFOCc+xroCNQCi4FhwOtm1i7msMuAvnhlFQfhBa7P4wXafnXBy5H5/8hi4q0O3JU6d/prF7xs+WdNHCsiUjQFuyIieXLOzcb7kX2tma3i32dmHYAzgIeccy7k8EnAZma2kW/bz5u45Gd4AeZevuusA2zfxDwXO+eecs5dgFfj2x3YKbV7GdAmcMg+wJPOuf845z7EKz+IvUaIj4BNzSzquPeALs65qSFfywq8lohI3hTsiogUpjfQHnjezPZP9dw9Ei8Ing5cFXHcSOAT4J9mtouZ7UdM5wYA59xC4G/ArWZ2sJntCNwHNEQdY2a/NbPfm9mOqTZpv8bLuk5LDfkS2N/MNjGzn6W2fQocZmZ7m1lnvAzshvG/DDlzfQ14HXjUzA4zs63M7BepXxvwssZ7m9kQM+ua6kzxSzPTA2oi0qwU7IqIFMA59ymwB17282G87OvdwCtA91RNbdhxDcDxePW0bwP3Eh0Y+10GjAKewguYR+N1TojyI3Au8AZetvVQ4NhUVhq8TgxbpuadLre4Hi/z+jzwKt4Dbk/kMbegE4F3gP8CE4FbSGWRnXMf4XWV2D71/bwPXAfMCD2TiEiZWPhP20REREREWj5ldkVERESkainYFREREZGqpWBXRERERKqWgl0RERERqVoKdkVERESkainYFREREZGqpWBXRERERKqWgl0RERERqVoKdkVERESkainYFREREZGqpWBXRERERKrW/wfjdAgYYzg2lAAAAABJRU5ErkJggg==\n",
      "text/plain": [
       "<matplotlib.figure.Figure at 0x104eca550>"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "plt.figure(figsize=(8, 6), dpi=100)\n",
    "plt.plot(x, distances)\n",
    "plt.plot(x, x, 'k')\n",
    "plt.plot(x, [500]*len(x), 'k:')\n",
    "plt.title('Weighted write using information theory')\n",
    "plt.ylabel('New distance (after 15 iterative readings and 60 samples)')\n",
    "plt.xlabel('Old distance')\n",
    "plt.grid()\n",
    "plt.axis([x[0], x[-1], 0, 600]);"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "plt.figure(figsize=(8, 6), dpi=100)\n",
    "plt.plot(x, distances)\n",
    "plt.plot(x, x, 'k')\n",
    "plt.plot(x, [500]*len(x), 'k:')\n",
    "plt.title('Weighted write using information theory')\n",
    "plt.ylabel('New distance (after 15 iterative reads)')\n",
    "plt.xlabel('Old distance')\n",
    "plt.grid()\n",
    "plt.axis([0, 1000, 0, 1000]);"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "c = sdmlib.Bitstring.init_from_bitstring(b)\n",
    "c.flip_random_bits(1000)\n",
    "d = c\n",
    "print 0, b.distance_to(d)\n",
    "for i in xrange(10):\n",
    "    d = sdm.read(d)\n",
    "    print i+1, b.distance_to(d)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": []
  }
 ],
 "metadata": {
  "kernelspec": {
   "display_name": "Python 2",
   "language": "python",
   "name": "python2"
  },
  "language_info": {
   "codemirror_mode": {
    "name": "ipython",
    "version": 2
   },
   "file_extension": ".py",
   "mimetype": "text/x-python",
   "name": "python",
   "nbconvert_exporter": "python",
   "pygments_lexer": "ipython2",
   "version": "2.7.10"
  }
 },
 "nbformat": 4,
 "nbformat_minor": 2
}
